Complexity of strict implication

MaRDI QIDQ5482999zbMATH OpenFDO

Authors Félix Bou

Publication date 15 August 2006

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Computer Science Logic
• scientific article; zbMATH DE number 1778908
• scientific article; zbMATH DE number 3995647
• Pure strict implication logics
• Sequent Calculi for Some Strict Implication Logics

Cited in

(3)

• A note on the computational complexity of the pure classical implication calculus
• A System for Strict Implication
• Pure strict implication logics

This page was built for publication: Complexity of strict implication

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