On an Algebra of Lattice-Valued Logic

Journal of Symbolic Logic 70 (1):282 - 318 (2005)
Authors
Abstract
The purpose of this paper is to present an algebraic generalization of the traditional two-valued logic. This involves introducing a theory of automorphism algebras, which is an algebraic theory of many-valued logic having a complete lattice as the set of truth values. Two generalizations of the two-valued case will be considered, viz., the finite chain and the Boolean lattice. In the case of the Boolean lattice, on choosing a designated lattice value, this algebra has binary retracts that have the usual axiomatic theory of the propositional calculus as suitable theory. This suitability applies to the Boolean algebra of formalized token models [2] where the truth values are, for example, vocabularies. Finally, as the actual motivation for this paper, we indicate how the theory of formalized token models [2] is an example of a many-valued predicate calculus
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1107298521
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,955
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Initial Segments of the Lattice of Π01 Classes.Douglas Cenzer & Andre Nies - 2001 - Journal of Symbolic Logic 66 (4):1749 - 1765.
Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Some Remarks on the Algebraic Structure of the Medvedev Lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
The Logic of Experimental Questions.R. I. G. Hughes - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:243 - 256.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
On Varieties of Biresiduation Algebras.C. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
2-Element Matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.

Analytics

Added to PP index
2010-08-24

Total downloads
10 ( #510,666 of 2,273,321 )

Recent downloads (6 months)
1 ( #376,895 of 2,273,321 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature