Nonstandard Consequence Operators Generated By Mixed Logic-Systems
arXiv:math/0412562
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