Adjoint interpretations of sentential calculi

DOI10.1007/BF00403336zbMath0561.03013OpenAlexW2078654533MaRDI QIDQ2266005

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The axiomatization of S. Jaskowski's discussive system
• An algebraic approach to non-classical logics
• Remarks on discussive propositional calculus
• Logical systems with implications
• Matrix approach in methodology of sentential calculi
• The problem of reconstructability of propositional calculi
• Allgemeine Logische und Mathematische Theorien

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