- Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.details
|
|
(1 other version)Expanding the universe of universal logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.details
|
|
What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
Pure logic of iterated full ground.Jon Erling Litland - 2018 - Review of Symbolic Logic 11 (3):411-435.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Decoding Gentzen's Notation.Luca Bellotti - 2018 - History and Philosophy of Logic 39 (3):270-288.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
Reflecting rules: A note on generalizing the deduction theorem.Gillman Payette - 2015 - Journal of Applied Logic 13 (3):188-196.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
(1 other version)Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.details
|
|
Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.details
|
|
(1 other version)Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.details
|
|
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.details
|
|
Mathematical Infinity, Its Inventors, Discoverers, Detractors, Defenders, Masters, Victims, Users, and Spectators.Edward G. Belaga - manuscriptdetails
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
The consistency of number theory via herbrand's theorem.T. M. Scanlon - 1973 - Journal of Symbolic Logic 38 (1):29-58.details
|
|
The problem of logical constants.Mario Gómez-Torrente - 2002 - Bulletin of Symbolic Logic 8 (1):1-37.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
The processing of negations in conditional reasoning: A meta-analytic case study in mental model and/or mental logic theory.Walter J. Schroyens, Walter Schaeken & Géry D'Ydewalle - 2001 - Thinking and Reasoning 7 (2):121-172.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Natural deduction and sequent calculus for intuitionistic relevant logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.details
|
|
(1 other version)Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.details
|
|
Contraction-free sequent calculi for intuitionistic logic.Roy Dyckhoff - 1992 - Journal of Symbolic Logic 57 (3):795-807.details
|
|
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.details
|
|
A semantics of evidence for classical arithmetic.Thierry Coquand - 1995 - Journal of Symbolic Logic 60 (1):325-337.details
|
|
Types as graphs: Continuations in type logical grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.details
|
|
Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Supposition and representation in human reasoning.Simon J. Handley & Jonathan StB. T. Evans - 2000 - Thinking and Reasoning 6 (4):273-311.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.details
|
|
A Note on the Admissibility of Cut in Relevant Tableau Systems.Michael A. McRobbie & Robert K. Meyer - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (32):511-512.details
|
|
Phase transitions for Gödel incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.details
|
|
Negation and infinity.Kazimierz Trzęsicki - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):131-148.details
|
|
A New Unified Account of Truth and Paradox.N. Tennant - 2015 - Mind 124 (494):571-605.details
|
|
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknowndetails
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
On the Reality of Existence and Identity.Allen Hazen - 1985 - Canadian Journal of Philosophy 15 (1):25 - 35.details
|
|
Labelled Tree Sequents, Tree Hypersequents and Nested Sequents.Rajeev Goré & Revantha Ramanayake - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-299.details
|
|
Which Quantifiers Are Logical?Solomon Feferman - unknowndetails
|
|
Takeuti's Well-Ordering Proof: Finitistically Fine?Eamon Darnell & Aaron Thomas-Bolduc - 2018 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. New York: Birkhäuser.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.details
|
|