Proofs and the Meaning and Completeness of the Logical Constants

Publisher Website

1 January 1979

book chapter
Published by Springer Nature

p. 25-40
https://doi.org/10.1007/978-94-009-9825-4_2

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Meaning and proofs: on the conflict between classical and intuitionistic logic
Theoria, 1977
On the idea of a general proof theory
Synthese, 1974
Untersuchungen ber das logische Schlie en. I
Mathematische Zeitschrift, 1935