6 found
Sort by:
  1. Nikolaos Galatos, Peter Jipsen & Hiroakira Ono (2012). Preface. Studia Logica 100 (6):1059-1062.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Peter Jipsen (2009). Generalizations of Boolean Products for Lattice-Ordered Algebras. Annals of Pure and Applied Logic 161 (2):228-234.
    It is shown that the Boolean center of complemented elements in a bounded integral residuated lattice characterizes direct decompositions. Generalizing both Boolean products and poset sums of residuated lattices, the concepts of poset product, Priestley product and Esakia product of algebras are defined and used to prove decomposition theorems for various ordered algebras. In particular, we show that FLw-algebras decompose as a poset product over any finite set of join irreducible strongly central elements, and that bounded n-potent GBL-algebras are represented (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
    This is also where we begin investigating lattices of logics and varieties, rather than particular examples.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Francesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. Studia Logica 77 (2):209 - 240.
    We will give here a purely algebraic proof of the cut elimination theorem for various sequent systems. Our basic idea is to introduce mathematical structures, called Gentzen structures, for a given sequent system without cut, and then to show the completeness of the sequent system without cut with respect to the class of algebras for the sequent system with cut, by using the quasi-completion of these Gentzen structures. It is shown that the quasi-completion is a generalization of the MacNeille completion. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Peter Jipsen (2004). From Semirings to Residuated Kleene Lattices. Studia Logica 76 (2):291 - 303.
    We consider various classes of algebras obtained by expanding idempotent semirings with meet, residuals and Kleene-*. An investigation of congruence properties (e-permutability, e-regularity, congruence distributivity) is followed by a section on algebraic Gentzen systems for proving inequalities in idempotent semirings, in residuated lattices, and in (residuated) Kleene lattices (with cut). Finally we define (one-sorted) residuated Kleene lattices with tests to complement two-sorted Kleene algebras with tests.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Peter Jipsen & Henry Rose (1999). Partition Complete Boolean Algebras and Almost Compact Cardinals. Mathematical Logic Quarterly 45 (2):241-255.
    For an infinite cardinal K a stronger version of K-distributivity for Boolean algebras, called k-partition completeness, is defined and investigated . It is shown that every k-partition complete Boolean algebra is K-weakly representable, and for strongly inaccessible K these concepts coincide. For regular K ≥ u, it is proved that an atomless K-partition complete Boolean algebra is an updirected union of basic K-tree algebras. Using K-partition completeness, the concept of γ-almost compactness is introduced for γ ≥ K. For strongly inaccessible (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation