Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices

MaRDI QIDQ6512654arXivFDO

Authors Renato Leme, Marcelo E. Coniglio, Bruno Lopes

Has companion code repository https://github.com/renatoleme/forest

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices

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