A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)

Renato Leme; Marcelo Coniglio; Bruno Lopes

Paper

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)

Abstract

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.