Nonstandard Consequence Operators
Abstract
In this paper, we investigate the algebras of consequence operators and finite consequence operators on a fixed language. Significant new collections of consequence operators are defined and shown to be complete and distributive sublattices. Further, the collection of consequence operators is shown to be almost atomic. Other lattice theoretic properties are investigated and useful chain properties are obtained. In the last section, natural languages, and associated consequence operators, are encoded and embedded into a nonstandard structure. The entire basic theory of nonstandard consequence operators is developed in this last section.
Cite
@article{arxiv.math/9911204,
title = {Nonstandard Consequence Operators},
author = {Robert A. Herrmann},
journal= {arXiv preprint arXiv:math/9911204},
year = {2013}
}
Comments
Plain Tex, 11 pages. In this version, an important clarification is made in Remark 4.6 and one significant statement that applies more directly to G\"odel's Incompleteness Theorem is added. arXiv admin note: substantial text overlap with arXiv:astro-ph/9903110