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

arXiv2308.13664MaRDI QIDQ6512654FDOQ6512654

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)