8 found
Order:
  1.  50
    Equivalence of Consequence Relations: An Order-Theoretic and Categorical Perspective.Nikolaos Galatos & Constantine Tsinakis - 2009 - Journal of Symbolic Logic 74 (3):780-810.
    Equivalences and translations between consequence relations abound in logic. The notion of equivalence can be defined syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  80
    Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
    We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  36
    Products of Classes of Residuated Structures.Bjarni Jónsson & Constantine Tsinakis - 2004 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  4
    Join-Completions of Partially Ordered Algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.
    We present a systematic study of join-extensions and join-completions of partially ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of ordered structures ranging from properties of the Dedekind–MacNeille completion to the proof of the finite embeddability property for a number of varieties of lattice-ordered algebras.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  25
    Order Algebras as Models of Linear Logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
    The starting point of the present study is the interpretation of intuitionistic linear logic in Petri nets proposed by U. Engberg and G. Winskel. We show that several categories of order algebras provide equivalent interpretations of this logic, and identify the category of the so called strongly coherent quantales arising in these interpretations. The equivalence of the interpretations is intimately related to the categorical facts that the aforementioned categories are connected with each other via adjunctions, and the compositions of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    Uniform Interpolation and Compact Congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Ordinal Decompositions for Preordered Root Systems.James B. Hart & Constantine Tsinakis - 2009 - Annals of Pure and Applied Logic 161 (2):203-211.
    In this paper, we explore the effects of certain forbidden substructure conditions on preordered sets. In particular, we characterize in terms of these conditions those preordered sets which can be represented as the supremum of a well-ordered ascending chain of lowersets whose members are constructed by means of alternating applications of disjoint union and ordinal sums with chains. These decompositions are examples of ordinal decompositions in relatively normal lattices as introduced by Snodgrass, Tsinakis, and Hart. We conclude the paper with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. Bjarni Jónsson Constantine Tsinakis.Constantine Tsinakis - 2004 - Studia Logica 77:1-26.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark