Gentzen-type systems and resolution rule. Part II. Predicate logic
- 2 March 2017
- book chapter
- Published by Cambridge University Press (CUP)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Gentzen-type systems and resolution rules part I propositional logicLecture Notes in Computer Science, 1990
- Maslov's inverse method and decidable classesAnnals of Pure and Applied Logic, 1989
- What is the inverse method?Journal of Automated Reasoning, 1989
- Gentzen style systems for K45 and K45DLecture Notes in Computer Science, 1989
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959