On transforming intuitionistic matrix proofs into standard-sequent proofs
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 106-121
- https://doi.org/10.1007/3-540-59338-1_31
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A connection based proof method for intuitionistic logicPublished 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
- A Generalization of Intuitionistic and Modal LogicsPublished by Elsevier ,1973
- Vollständige Systeme modaler und intuitionistischer LogikPublished by Springer Nature ,1968
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935