Intuitionistic basis for input/output logic

DOI10.1007/978-94-007-7759-0_13MaRDI QIDQ5250314zbMATH OpenOpenAlexFDO

Authors Xavier Parent, Leendert van der Torre, Dov Gabbay

Publication date 19 May 2015

Published in David Makinson on Classical Methods for Non-Classical Problems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-7759-0_13

zbMATH Keywords

completenessdeontic logicI/O logicintuitionistic logicsaturated set

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 7599983
• How to build input/output logic
• Input/output logics
• Adaptive logic characterizations of input/output logic
• scientific article; zbMATH DE number 2019850

Cited in

(9)

• From input/output logics to conditional logics via sequents -- with provers
• A tableaux calculus for default intuitionistic logic
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• scientific article; zbMATH DE number 7599983 (Why is no real title available?)
• Incompatibility and inference as bases of logic
• Towards an intuitionistic deontic logic tolerating conflicting obligations
• Subordination algebras as semantic environment of input/output logic
• Obligations and permissions on selfextensional logics
• A concept approach to input/output logic

This page was built for publication: Intuitionistic basis for input/output logic

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