An order-theoretic analysis of interpretations among propositional deductive systems

DOI10.1016/J.APAL.2012.09.006zbMATH Open1271.03093arXiv1202.1755OpenAlexW2066667341MaRDI QIDQ690930FDOQ690930

Ciro Russo

Publication date: 29 November 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1202.1755

zbMATH Keywords

interpretationconsequence relationquantaletranslationpropositional deductive systempropositional logics

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Quantales (06F07)

Cited In (7)

• 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
• AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS
• The semantic isomorphism theorem in abstract algebraic logic
• Coproduct and amalgamation of deductive systems by means of ordered algebras
• 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)