Clausal Intuitionistic Logic II - Tableau Proof Procedures


D Clausal intuitionistic logic is an extension of Horn-clause logic which permits the appearance of negations and embedded implications on the right-hand side of a rule, and interprets these new rules intuitionistically in a set of partial models. In this article the second of a pair, clausal intuitionistic logic, is shown to have a tableau proof procedure… (More)
DOI: 10.1016/0743-1066(88)90014-3


3 Figures and Tables

Slides referencing similar topics