An order-theoretic analysis of interpretations among propositional deductive systems
From MaRDI portal
Abstract: In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have different underlying languages.
Recommendations
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Translations between logical systems: A manifesto
- Adjoint interpretations of sentential calculi
- scientific article; zbMATH DE number 4213976
Cited in
(8)- Equivalence of consequence relations: an order-theoretic and categorical perspective
- A categorical equivalence between logical quantale modules and quantum B‐modules
- Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems
- Constructing \(Q\)-algebras from \(Q\)-modules
- The semantic isomorphism theorem in abstract algebraic logic
- Coproduct and amalgamation of deductive systems by means of ordered algebras
- An abstract approach to consequence relations
- Abstract algebraic logic. An introductory chapter
This page was built for publication: An order-theoretic analysis of interpretations among propositional deductive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690930)
