6 found
Sort by:
  1. W. J. Blok & Bjarni Jónsson (2006). Equivalence of Consequence Operations. Studia Logica 83 (1-3):91 - 110.
    This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further developing these (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Bjarni Jónsson & Constantine Tsinakis (2004). Products of Classes of Residuated Structures. Studia Logica 77 (2):267 - 292.
    The central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×s LG, consisting of all semi-direct products of members of IRL by members of LG. We (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Bjarni Jónsson (1994). On the Canonicity of Sahlqvist Identities. Studia Logica 53 (4):473 - 491.
    We give a simple proof of the canonicity of Sahlqvist identities, using methods that were introduced in a paper by Jónsson and Tarski in 1951.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Bjarni Jónsson (1986). The Contributions of Alfred Tarski to General Algebra. Journal of Symbolic Logic 51 (4):883-889.
  5. C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik (1974). Meeting of the Association for Symbolic Logic: Atlanta 1973. Journal of Symbolic Logic 39 (2):390-405.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Bjarni Jonsson (1946). Review: Raouf Doss, Note on Two Theorems of Mostowski. [REVIEW] Journal of Symbolic Logic 11 (3):85-86.
    Direct download  
     
    My bibliography  
     
    Export citation