Adjoint interpretations of sentential calculi

DOI10.1007/BF00403336zbMATH Open0561.03013OpenAlexW2078654533MaRDI QIDQ2266005FDOQ2266005

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

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
• scientific article
• scientific article; zbMATH DE number 945663

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Title not available (Why is that?)
• Remarks on discussive propositional calculus
• Title not available (Why is that?)
• Logical systems with implications
• The axiomatization of S. Jaskowski's discussive system
• Title not available (Why is that?)
• The problem of reconstructability of propositional calculi
• Allgemeine Logische und Mathematische Theorien
• Title not available (Why is that?)

Cited In (5)

• A message-passing interpretation of adjoint logic
• An order-theoretic analysis of interpretations among propositional deductive systems
• Adjoint negations, more than residuated negations
• Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics
• Title not available (Why is that?)

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)