Switch to: References

Add citations

You must login to add citations.
  1. On free annotated algebras.Renato A. Lewin, Irene F. Mikenberg & Marı́a G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • On free annotated algebras.Renato Lewin, Irene Mikenberg & María Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark