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

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

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

• 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?)
• Allgemeine Logische und Mathematische Theorien
• An algebraic approach to non-classical logics
• 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)

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

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)