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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,163
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - linkinghub.elsevier.com (no proxy)
- sciencedirect.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
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 - 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.
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 index
2014-01-16
Total views
25 ( #455,788 of 2,507,021 )
Recent downloads (6 months)
1 ( #417,155 of 2,507,021 )
2014-01-16
Total views
25 ( #455,788 of 2,507,021 )
Recent downloads (6 months)
1 ( #417,155 of 2,507,021 )
How can I increase my downloads?
Downloads
