Graduate studies at Western
Logica Universalis 2 (2):209-233 (2008)
|Abstract||We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic ; ii) Galli et al.’s logic of equilibrium ; iii) a new logic of “preservation of truth degrees”|
|Keywords||Abelian logic lattice-ordered variety assertional logic logics preserving degrees of truth|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3):425-445.
Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna (2002). On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic. Studia Logica 71 (2):199 - 226.
Jacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Hajnal Andréka, Steven Givant & István Németi (1994). The Lattice of Varieties of Representable Relation Algebras. Journal of Symbolic Logic 59 (2):631-661.
Guram Bezhanishvili (2000). Varieties of Monadic Heyting Algebras. Part III. Studia Logica 64 (2):215-256.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
Added to index2009-01-28
Total downloads21 ( #65,455 of 739,366 )
Recent downloads (6 months)1 ( #61,680 of 739,366 )
How can I increase my downloads?