A connection based proof method for intuitionistic logic
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 122-137
- https://doi.org/10.1007/3-540-59338-1_32
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On transforming intuitionistic matrix proofs into standard-sequent proofsPublished by Springer Nature ,1995
- KoMeTPublished by Springer Nature ,1994
- SETHEO: A high-performance theorem proverJournal of Automated Reasoning, 1992
- Automated reasoning contributes to mathematics and logicPublished by Springer Nature ,1990
- Automated Theorem ProvingPublished by Springer Nature ,1987
- On Matrices with ConnectionsJournal of the ACM, 1981
- First-Order Logic. PreliminariesPublished by Springer Nature ,1968
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935