Equivalence of consequence relations: an order-theoretic and categorical perspective

DOI10.2178/JSL/1245158085MaRDI QIDQ3399178zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

consequence relationprojectiveresiduated latticemoduleclosure operatoralgebraizable logic

Mathematics Subject Classification ID

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)

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

Cites work

• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Definitional equivalence and algebraizability of generalized logical systems
• Equivalence of consequence operations
• Lattices and ordered algebraic structures
• Minimal varieties of residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• THE STRUCTURE OF RESIDUATED LATTICES

Cited in

(20)

• \(M\)-sets and the representation problem
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• Conditions equivalent to unit representations of ordered relational structures
• Reading conclusions conjunctively
• Universal extensions of specialization semilattices
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Recognizability in residuated lattices
• An order-theoretic analysis of interpretations among propositional deductive systems
• Disjunctive and conjunctive multiple-conclusion consequence relations
• An abstract approach to consequence relations
• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• Relevant consequence relations: an invitation
• Idempotency, output-drivenness and the faithfulness triangle inequality: some consequences of McCarthy's (2003) categoricity generalization
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• The semantic isomorphism theorem in abstract algebraic logic
• Universal specialization semilattices
• Abstract algebraic logic. An introductory chapter
• Representations of structural closure operators
• Coproduct and amalgamation of deductive systems by means of ordered algebras

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)