On free annotated algebras
Annals of Pure and Applied Logic 108 (1-3):249-259 (2001)
Abstract
In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebrasDOI
10.1016/s0168-0072(00)00049-x
My notes
Similar books and articles
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
P1 algebras.Renato A. Lewin, Irene F. Mikenberg & Maria G. Schwarze - 1994 - Studia Logica 53 (1):21 - 28.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
On the algebraizability of annotated logics.Renato A. Lewin, Irene F. Mikenberg & María G. Schwarze - 1997 - Studia Logica 59 (3):359-386.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
Free nilpotent minimum algebras.Manuela Busaniche - 2006 - Mathematical Logic Quarterly 52 (3):219-236.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Natural dualities for varieties ofn-valued łukasiewicz algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
Analytics
Added to PP
2014-01-16
Downloads
27 (#433,607)
6 months
2 (#299,341)
2014-01-16
Downloads
27 (#433,607)
6 months
2 (#299,341)
Historical graph of downloads
References found in this work
On the algebraizability of annotated logics.Renato A. Lewin, Irene F. Mikenberg & María G. Schwarze - 1997 - Studia Logica 59 (3):359-386.
The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Mathematical Logic Quarterly 37 (9‐12):139-148.
The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.