Nonstandard Consequence Operators Generated By Mixed Logic-Systems

Abstract

Mixed logic-systems contain both standard and nonstandard coordinate values. In this paper, it is shown that each of the specifically defined mixed logic-systems generates an internal nonstandard consequence operator.

Plain Tex, 6 pages. Since Robinson first applied nonstandard analysis (NSA) to the lower predicate calculus, progress has been made applying NSA to universal logic. In this revision, added section 3 investigates hyperfinite logic-systems and corresponding nonstandard consequence operators