Translator Disclaimer
September 2009 Equivalence of consequence relations: an order-theoretic and categorical perspective
Nikolaos Galatos, Constantine Tsinakis
J. Symbolic Logic 74(3): 780-810 (September 2009). DOI: 10.2178/jsl/1245158085

Abstract

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 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.

Citation

Download Citation

Nikolaos Galatos. Constantine Tsinakis. "Equivalence of consequence relations: an order-theoretic and categorical perspective." J. Symbolic Logic 74 (3) 780 - 810, September 2009. https://doi.org/10.2178/jsl/1245158085

Information

Published: September 2009
First available in Project Euclid: 16 June 2009

zbMATH: 1181.03063
MathSciNet: MR2548478
Digital Object Identifier: 10.2178/jsl/1245158085

Subjects:
Primary: 03G10
Secondary: 06F05

Rights: Copyright © 2009 Association for Symbolic Logic

JOURNAL ARTICLE
31 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.74 • No. 3 • September 2009
Back to Top