Nonstandard Consequence Operators

Details Nonstandard Consequence Operators Nonstandard Consequence Operators

1999-11-25

arxiv.org/abs/math/9911204v10

Kobe J. Math. 4(1987): 1-14

Mathematics

Logic

Plain Tex, 11 pages. In this version, the incorrect last line has been removed

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Nonstandard Consequence Operators does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Nonstandard Consequence Operators, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Nonstandard Consequence Operators will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-768