5 found
Sort by:
  1. R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (2001). 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] Annals of Pure and Applied Logic 108 (373):374.
    No categories
     
    My bibliography  
     
    Export citation  
  2. R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (2000). Algebras and Matrices for Annotated Logics. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  3. L. N. Khakhina & R. A. Lewin (1994). Concepts of Symbiogenesis. A Historical and Critical Study of the Research of Russian Botanists. Annals of Science 51 (5):567-568.
    No categories
     
    My bibliography  
     
    Export citation  
  4. R. A. Lewin, I. F. Mikenberg & M. G. Schwarze (1991). ${\Rm C}_1$ is Not Algebraizable. Notre Dame Journal of Formal Logic 32 (4):609-611.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. R. A. Lewin (1982). Symbiosis and Parasitism: Definitions and Evaluations. Bioscience 32 (4):254-260.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation