Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras
Studia Logica 98 (1-2):267-283 (2011)
| Abstract | In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJúlia Vaz de Carvalho (2010). On the Variety of M -Generalized Łukasiewicz Algebras of Order N. Studia Logica 94 (2).
Andrei Popescu (2005). Łukasiewicz-Moisil Relation Algebras. Studia Logica 81 (2):167 - 189.
Roberto Cignoli (1982). Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi. Studia Logica 41 (1):3 - 16.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2).
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Matteo Bianchi (2013). The Variety Generated by All the Ordinal Sums of Perfect MV-Chains. Studia Logica 101 (1):11-29.
Peter Burmeister (2004). Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras. Studia Logica 78 (1-2):129 - 153.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2).
Bruno Teheux (2007). A Duality for the Algebras of a Łukasiewicz N + 1-Valued Modal System. Studia Logica 87 (1):13 - 36.
A. Ledda, T. Kowalski & F. Paoli (2011). On Certain Quasivarieties of Quasi-MV Algebras. Studia Logica 98 (1-2):149-174.
A. M. Nurakunov & M. M. Stronkowski (2009). Quasivarieties with Definable Relative Principal Subcongruences. Studia Logica 92 (1):109 - 120.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-07-20Total downloads0Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
