Graduate studies at Western
Journal of Symbolic Logic 70 (1):282 - 318 (2005)
|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  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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Douglas Cenzer & Andre Nies (2001). Initial Segments of the Lattice of Π01 Classes. Journal of Symbolic Logic 66 (4):1749 - 1765.
Satoko Titani, Heiji Kodera & Hiroshi Aoyama (2013). Systems of Quantum Logic. Studia Logica 101 (1):193-217.
Andrea Sorbi (1990). Some Remarks on the Algebraic Structure of the Medvedev Lattice. Journal of Symbolic Logic 55 (2):831-853.
R. I. G. Hughes (1982). The Logic of Experimental Questions. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:243 - 256.
Roberto Cignoli (1999). Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers.
Daniel D. Merrill (2005). Augustus De Morgan's Boolean Algebra. History and Philosophy of Logic 26 (2):75-91.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3):425-445.
Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
Helena Rasiowa (1994). Axiomatization and Completeness of Uncountably Valued Approximation Logic. Studia Logica 53 (1):137 - 160.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
Wolfgang Rautenberg (1981). 2-Element Matrices. Studia Logica 40 (4):315 - 353.
Added to index2010-08-24
Total downloads6 ( #154,981 of 739,143 )
Recent downloads (6 months)1 ( #61,778 of 739,143 )
How can I increase my downloads?