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

arXiv2308.13664MaRDI QIDQ6512654

Author name not available (Why is that?)

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

Mathematics Subject Classification ID

No records found.

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)