Order:
  1.  29
    ${\rm C}_1$ is not algebraizable.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 1991 - Notre Dame Journal of Formal Logic 32 (4):609-611.
  2.  58
    Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
    We study the matrices, reduced matrices and algebras associated to the systems SAT of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them.We prove that the equivalent algebraic semantics associated with the systems SAT are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Farah, I., Basis problem for turbulent actions I: Tsirelson submeasures (1} 3) 189} 203 Feitosa, HA and Lo4redo D: Ottaviano, IM, Conservative translations (1} 3) 205} 227 Friedman, Sy D., see Bagaria, J.(1} 3) 3} 13. [REVIEW]R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2001 - Annals of Pure and Applied Logic 108 (373):374.
    No categories
     
    Export citation  
     
    Bookmark