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.

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ödel's Incompleteness Theorem is added. arXiv admin note: substantial text overlap with arXiv:astro-ph/9903110

Cited by in corpus (9)

• The Wondrous Design and Non-random Character of "Chance" Events
• The Theory of Ultralogics Part II
• An Ultralogic Unification for All Physical Theories
• The Encoding of Quantum State Information Within Subparticles
• Probability Models and Ultralogics
• Standard and Hyperfinite Unifications for All Physical Theories
• General Logic-Systems that Determine Significant Collections of Consequence Operators
• The Best Possible Unification for any Collection of Physical Theories
• An Ultimate Hyperfinite Ultralogic Unification for all Physical Theories