Comments on gentzen-type procedures and the classical notion of truth
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)
- 195 Downloads
KeywordsInference Rule Order Logic Predicate Symbol Logical Truth Complete Base
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Kanger, 1957, Stig, Provability in logic, Stockholm.Google Scholar
- Prawitz, Dag, 1965, Natural deduction, A proof-theoretical study, Stockholm.Google Scholar
- Prawitz, Dag, 1971, Ideas and results in proof theory, in: Proceedings of the Second Scandinavian Logic Symposium (ed. J. E. Fenstad), 235–307, Amsterdam.Google Scholar
- Tait, William, 1968, Normal derivability in classical logic, in: The syntax and semantics of infinitary languages, Lecture notes in mathematics (ed. J. Barwise), 72, 204–236.Google Scholar
© Springer-Verlag 1975