Gentzen-type systems and resolution rules part I propositional logic
- 1 January 1990
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 198-231
- https://doi.org/10.1007/3-540-52335-9_55
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- What is the inverse method?Journal of Automated Reasoning, 1989
- Linear strategy for propositional modal resolutionInformation Processing Letters, 1988
- First-order modal tableauxJournal of Automated Reasoning, 1988
- Linear modal deductionsPublished by Springer Nature ,1988
- The Recursive Resolution method for Modal LogicNew Generation Computing, 1987
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986
- Some remarks on the possibility of extending resolution proof procedures to intuitionistic logicInformation Processing Letters, 1986
- A Modal Herbrand's PropertyMathematical Logic Quarterly, 1986
- Nonclausal temporal deductionPublished by Springer Nature ,1985
- Un principe de résolution en logique modaleRAIRO. Informatique théorique, 1984