What is a Logic, and What is a Proof?
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 135-145
- https://doi.org/10.1007/3-7643-7304-0_8
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Synonymous LogicsJournal of Philosophical Logic, 2003
- Homeomorphism and the Equivalence of Logical SystemsNotre Dame Journal of Formal Logic, 1998
- Linear logic, coherence and dinaturalityTheoretical Computer Science, 1993
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- A compact representation of proofsStudia Logica, 1987
- Linear logicTheoretical Computer Science, 1987
- Funktionen- und RelationenalgebrenPublished by Springer Nature ,1979
- Refutations by MatingsIEEE Transactions on Computers, 1976
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971
- Deductive systems and categoriesTheory of Computing Systems, 1968