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 algebras
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(00)00049-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,388
Through your library

References found in this work BETA

Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
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.
The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Mathematical Logic Quarterly 37 (9‐12):139-148.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

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.
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.
Boolean Algebras in Ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.

Analytics

Added to PP index
2014-01-16

Total views
25 ( #434,613 of 2,445,494 )

Recent downloads (6 months)
3 ( #232,435 of 2,445,494 )

How can I increase my downloads?

Downloads

My notes