- Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.details
|
|
Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Is Cantor’s Theorem a Dialetheia? Variations on a Paraconsistent Approach to Cantor’s Theorem.Uwe Petersen - forthcoming - Review of Symbolic Logic:1-18.details
|
|
Cut-eliminability in Second Order Logic Calculus.Toshiyasu Arai - 2018 - Annals of the Japan Association for Philosophy of Science 27:45-60.details
|
|
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.details
|
|
Artykuł O treści logicznej zawarte W czasopismach nadesłanych do redakcji.Stanisław Surma, Klemens Szaniawski, Jan Franciszek Drewnowski, Ewa Żarnecka-Biały, Jerzy Kmita, Jerzy Giedymin & Leon Koj - 1964 - Studia Logica 15 (1):311-343.details
|
|
Systems of substitutional semantics.Daniel Bonevac - 1984 - Philosophy of Science 51 (4):631-656.details
|
|
ALONZO: Deduktionsagenten höherer Ordnung für Mathematische Assistenzsysteme.Benzmüller Christoph - 2003details
|
|
(1 other version)Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8-10):141-162.details
|
|
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.details
|
|
(1 other version)One Step is Enough.David Ripley - 2022 - Journal of Philosophical Logic 51 (6):1233-1259.details
|
|
Is cut-free logic fit for unrestricted abstraction?Uwe Petersen - 2022 - Annals of Pure and Applied Logic 173 (6):103101.details
|
|
(1 other version)One Step is Enough.David Ripley - 2021 - Journal of Philosophical Logic 51 (6):1-27.details
|
|
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.Norihiro Kamide & Yoni Zohar - 2020 - Studia Logica 108 (3):549-571.details
|
|
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
(1 other version)Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8‐10):141-162.details
|
|
Proofs with monotone cuts.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):177-187.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|