Nonstandard Consequence Operators Generated By Mixed Logic-Systems
Logic
2010-08-26 v5
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.
Cite
@article{arxiv.math/0412562,
title = {Nonstandard Consequence Operators Generated By Mixed Logic-Systems},
author = {Robert A. Herrmann},
journal= {arXiv preprint arXiv:math/0412562},
year = {2010}
}
Comments
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