Adjoint interpretations of sentential calculi

DOI10.1007/BF00403336MaRDI QIDQ2266005zbMATH OpenOpenAlexFDO

Authors Tomasz Furmanowski

Publication date 1982

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00403336

zbMATH Keywords

mutual interpretability of sentential calculipreorders under consequence operationsquasiordered class

Mathematics Subject Classification ID

General logic (03B99) Ordered sets (06A99) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Review text

This large step towards a general theory of mutual interpretability of sentential calculi by treating the class of all sentential calculi as a quasiordered class is self-contained but demanding. It is useful to understand the elements of category theory and be familiar with how Polish logicians investigate consequence operations in sentential calculi. Sentential calculi are treated as preorders under consequence operations. Interpretations are certain order preserving functions (functors) on sentential calculi into another. The key notion investigated is that of a special inverse of an interpretation: The Left Adjoint of an Interpretation. In several definitions and theorems the author shows how powerful left adjuncts are for comparing sentential calculi.

Recommendations

• Propositional calculus under adjointness
• A message-passing interpretation of adjoint logic
• Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics
• scientific article; zbMATH DE number 1960700
• Some paraconsistent sentential calculi
• Sentential logics and Maehara interpolation property
• scientific article; zbMATH DE number 4212001
• scientific article; zbMATH DE number 4164793
• scientific article; zbMATH DE number 945663

Cites work

• Allgemeine Logische und Mathematische Theorien
• An algebraic approach to non-classical logics
• scientific article; zbMATH DE number 3479767 (Why is no real title available?)
• scientific article; zbMATH DE number 3496154 (Why is no real title available?)
• scientific article; zbMATH DE number 3513748 (Why is no real title available?)
• scientific article; zbMATH DE number 3577192 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Logical systems with implications
• Matrix approach in methodology of sentential calculi
• Remarks on discussive propositional calculus
• The axiomatization of S. Jaskowski's discussive system
• The problem of reconstructability of propositional calculi

Cited in

(5)

• Adjoint negations, more than residuated negations
• A message-passing interpretation of adjoint logic
• scientific article; zbMATH DE number 4202241 (Why is no real title available?)
• An order-theoretic analysis of interpretations among propositional deductive systems
• Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics

This page was built for publication: Adjoint interpretations of sentential calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266005)