Studia Logica 50 (3-4):375 - 384 (1991)
The infinite-valued logic of ukasiewicz was originally defined by means of an infinite-valued matrix. ukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
W-Algebras Which Are Boolean Products of Members of SR and CW-Algebras.Antoni Torrens - 1987 - Studia Logica 46 (3):265 - 274.
Citations of this work BETA
No citations found.
Similar books and articles
A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Coproducts in the Categories of Kleene and Three-Valued Łukasiewicz Algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
N-Valued Logics and Łukasiewicz–Moisil Algebras.George Georgescu - 2005 - Axiomathes 16 (1-2):123-136.
Averaging the Truth-Value in Łukasiewicz Logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Construction of Monadic Three-Valued Łukasiewicz Algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
The Completeness of the Factor Semantics for Łukasiewicz's Infinite-Valued Logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
Added to index2009-01-28
Total downloads18 ( #270,400 of 2,168,640 )
Recent downloads (6 months)1 ( #346,816 of 2,168,640 )
How can I increase my downloads?