Equivalence of consequence relations: an order-theoretic and categorical perspective
DOI10.2178/JSL/1245158085zbMATH Open1181.03063OpenAlexW2125805198MaRDI QIDQ3399178FDOQ3399178
Constantine Tsinakis, Nikolaos Galatos
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
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 (19)
- 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
- 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)
