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

This paper provides a new decision procedure for intuitionistic propositional logic (IPL) based on a 3-valued restricted non-deterministic matrix and proves its soundness and completeness.
Comment: Several typos were corrected. Full proofs of soundness and completeness for S4 and IPL were included. A new section on complexity and an Appendix with some examples were added. The final section was improved