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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- December 2004
- DOI:
- arXiv:
- arXiv:math/0412562
- Bibcode:
- 2004math.....12562H
- Keywords:
-
- Mathematics - Logic;
- 03H05;
- 03H10
- E-Print:
- 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