The Demarcation Line Between Intuitionist Logic and Classical Logic

✍ Scribed by Hugues Leblanc; Richmond H. Thomason

• Publisher: John Wiley and Sons
• Year: 1966
• Tongue: English
• Weight: 356 KB
• Volume: 12
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19660120121

✦ Synopsis

2. L-sequents were systematically studied by G. GENTZEN in his 1934 memoir, whereas N -3) All seven of the operators in question are understood here to be primitive. 4) In the absence of a handy criterion of I-validity, A may be taken to be I-valid if and only 5) The column in question will occasionally be referred to as a proof of S by a.

17 Ztschr. f. math. Logik sequents appear for the first time in his paper of 1936. if provable in HEYTINO'S first-order functional calculus.