An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
Author:
- 2 March 2014
- book chapter
- Published by Springer Nature
- p. 269-279
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Validity Concepts in Proof-theoretic SemanticsSynthese, 2006
- Meaning Approached Via ProofsSynthese, 2006
- Logical Consequence: A Constructivist View2005
- Towards A Foundation of A General Proof Theory1973
- Ideas and Results in Proof Theory1971
- Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions1971
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967