Equivalence of consequence relations: an order-theoretic and categorical perspective
DOI10.2178/JSL/1245158085zbMATH Open1181.03063OpenAlexW2125805198MaRDI QIDQ3399178FDOQ3399178
Authors: Nikolaos Galatos, Constantine Tsinakis 
Publication date: 29 September 2009
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1245158085
Recommendations
- An order-theoretic analysis of interpretations among propositional deductive systems
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Categorical abstract algebraic logic: Equivalent institutions
- An abstract approach to consequence relations
- Categorical abstract algebraic logic: on admissible equivalence systems
Galois correspondences, closure operators (in relation to ordered sets) (06A15) Abstract deductive systems (03B22) Categorical logic, topoi (03G30) Ordered semigroups and monoids (06F05) Abstract algebraic logic (03G27)
Cites Work
- Lattices and ordered algebraic structures
- Residuated lattices. An algebraic glimpse at substructural logics
- THE STRUCTURE OF RESIDUATED LATTICES
- Definitional equivalence and algebraizability of generalized logical systems
- Equivalence of consequence operations
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Minimal varieties of residuated lattices
Cited In (20)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Conditions equivalent to unit representations of ordered relational structures
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS
- Representations of structural closure operators
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- The semantic isomorphism theorem in abstract algebraic logic
- Disjunctive and conjunctive multiple-conclusion consequence relations
- An order-theoretic analysis of interpretations among propositional deductive systems
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- Recognizability in residuated lattices
- Relevant consequence relations: an invitation
- Universal extensions of specialization semilattices
- Reading conclusions conjunctively
- Universal specialization semilattices
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Idempotency, output-drivenness and the faithfulness triangle inequality: some consequences of McCarthy's (2003) categoricity generalization
- Abstract algebraic logic. An introductory chapter
- Cut elimination and strong separation for substructural logics: an algebraic approach
- \(M\)-sets and the representation problem
This page was built for publication: Equivalence of consequence relations: an order-theoretic and categorical perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399178)
