Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 74, Issue 3 (2009), 780-810.
Equivalence of consequence relations: an order-theoretic and categorical perspective
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  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 . Other authors have extended this result to the cases of k-deductive systems and of consequence relations on associative, commutative, multiple conclusion sequents. Our main result subsumes all existing results in the literature and reveals their common character. The proofs are of order-theoretic and categorical nature.
J. Symbolic Logic, Volume 74, Issue 3 (2009), 780-810.
First available in Project Euclid: 16 June 2009
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03G10: Lattices and related structures [See also 06Bxx]
Secondary: 06F05: Ordered semigroups and monoids [See also 20Mxx]
Galatos, Nikolaos; Tsinakis, Constantine. Equivalence of consequence relations: an order-theoretic and categorical perspective. J. Symbolic Logic 74 (2009), no. 3, 780--810. doi:10.2178/jsl/1245158085. https://projecteuclid.org/euclid.jsl/1245158085