8 found
Order:
  1. 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.
  2.  21
    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 (4 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  3.  2
    W. J. Blok & Bjarni Jónsson (2006). Equivalence of Consequence Operations. Studia Logica 83 (1-3):91-110.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  4.  26
    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 (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  24
    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)  
     
    Export citation  
     
    My bibliography   7 citations  
  6. Alfred Tarski & Bjarni Jonsson (1949). Cardinal Algebras. Journal of Symbolic Logic 14 (3):188-189.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  14
    Bjarni Jónsson (1986). The Contributions of Alfred Tarski to General Algebra. Journal of Symbolic Logic 51 (4):883-889.
  8. Bjarni Jonsson (1946). Review: Raouf Doss, Note on Two Theorems of Mostowski. [REVIEW] Journal of Symbolic Logic 11 (3):85-86.
    Direct download  
     
    Export citation  
     
    My bibliography