Complexity of strict implication

zbMATH Open1102.03014MaRDI QIDQ5482999FDOQ5482999

Authors: Félix Bou 

Publication date: 15 August 2006

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

Mathematics Subject Classification ID

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

Cited In (3)

• A System for Strict Implication
• A note on the computational complexity of the pure classical implication calculus
• 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)