Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 70, Issue 1 (2005), 282-318.
On an algebra of lattice-valued logic
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  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  is an example of a many-valued predicate calculus.
J. Symbolic Logic, Volume 70, Issue 1 (2005), 282-318.
First available in Project Euclid: 1 February 2005
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Hansen, Lars. On an algebra of lattice-valued logic. J. Symbolic Logic 70 (2005), no. 1, 282--318. doi:10.2178/jsl/1107298521. https://projecteuclid.org/euclid.jsl/1107298521