scientific article; zbMATH DE number 3085191

zbMath0053.20202MaRDI QIDQ5822068

Gaisi Takeuti

Publication date: 1953

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

A semantics for \(\lambda \)Prolog, A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic, The calculus of constructions, Natural Deduction, Inference, and Consistency, The machinery of consistency proofs, A cut-free calculus for second-order Gödel logic, The Cut Elimination Theorem in the Unary Second Order Language, On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC, On the fundamental conjecture of GLC, VI, Burali-Forti as a purely logical paradox, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Ein starker Normalisationssatz für die intuitionistische Typentheorie, On Takeuti's early view of the concept of set, ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment, Neo-Logicism and Its Logic, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction