David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Alfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
Antoni Torrens (1987). W-Algebras Which Are Boolean Products of Members of SR and CW-Algebras. Studia Logica 46 (3):265 - 274.
Citations of this work BETA
No citations found.
Similar books and articles
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Roberto Cignoli (1979). Coproducts in the Categories of Kleene and Three-Valued Łukasiewicz Algebras. Studia Logica 38 (3):237 - 245.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2):245 - 269.
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2):123-136.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
Roberto Cignoli (1982). Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi. Studia Logica 41 (1):3 - 16.
Vladimir L. Vasyukov (1993). The Completeness of the Factor Semantics for Łukasiewicz's Infinite-Valued Logics. Studia Logica 52 (1):143 - 167.
Added to index2009-01-28
Total downloads11 ( #138,606 of 1,102,806 )
Recent downloads (6 months)5 ( #61,871 of 1,102,806 )
How can I increase my downloads?