- Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.details
|
|
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
Turing's O-machines, Searle, Penrose and the brain.B. J. Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Turing's o-machines, Searle, Penrose, and the brain.Jack Copeland - 1998 - Analysis 58 (2):128-138.details
|
|
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.details
|
|
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.details
|
|
Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments.Jeff Buechner - 2020 - Studia Semiotyczne 34 (1):109-158.details
|
|
Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.details
|
|
The Role of Intuition and Formal Thinking in Kant, Riemann, Husserl, Poincare, Weyl, and in Current Mathematics and Physics.Luciano Boi - 2019 - Kairos 22 (1):1-53.details
|
|
The Ontology of Digital Physics.Anderson Beraldo-de-Araújo & Lorenzo Baravalle - 2017 - Erkenntnis 82 (6):1211-1231.details
|
|
On the circularity of set-theoretic semantics for set theory.Luca Bellotti - 2014 - Epistemologia 37 (1):58-78.details
|
|
Extending and interpreting Post’s programme.S. Barry Cooper - 2010 - Annals of Pure and Applied Logic 161 (6):775-788.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Editorial.[author unknown] - 2009 - Editorial 3 (27).details
|
|
Editorial.[author unknown] - 2009 - Editorial 3 (27).details
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.details
|
|
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.details
|
|
Information gaps as communication needs: A new semantic foundation for some non-classical logics. [REVIEW]Piero Pagliani - 1997 - Journal of Logic, Language and Information 6 (1):63-99.details
|
|
Epsilon substitution for first- and second-order predicate logic.Grigori Mints - 2013 - Annals of Pure and Applied Logic 164 (6):733-739.details
|
|
Intuitionism: An introduction to a seminar. [REVIEW]Charles McCarty - 1983 - Journal of Philosophical Logic 12 (2):105 - 149.details
|
|
The consistency problem for set theory: An essay on the Cantorian foundations of mathematics (II).John Mayberry - 1977 - British Journal for the Philosophy of Science 28 (2):137-170.details
|
|
Um filósofo da evidência.M. S. Lourenço - 2009 - Disputatio 3 (27):171-183.details
|
|
Intrinsic reasoning about functional programs I: first order theories.Daniel Leivant - 2002 - Annals of Pure and Applied Logic 114 (1-3):117-153.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.details
|
|
Logical truth and tarskian logical truth.Mario Gómez-Torrente - 1998 - Synthese 117 (3):375-408.details
|
|
The Gödelian Inferences.Curtis Franks - 2009 - History and Philosophy of Logic 30 (3):241-256.details
|
|
Truth, proofs and functions.Jean Fichot - 2003 - Synthese 137 (1-2):43 - 58.details
|
|
Working foundations.Solomon Feferman - 1985 - Synthese 62 (2):229 - 254.details
|
|
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.details
|
|
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.details
|
|
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.details
|
|
Effective Physical Processes and Active Information in Quantum Computing.Ignazio Licata - 2007 - Quantum Biosystems 1 (1):51-65.details
|
|
Consideraciones en torno a la naturaleza conjuntista de la semántica de la Teoría de Conjuntos.Sandra Lazzer - 2005 - Análisis Filosófico 25 (2):121-138.details
|
|
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.details
|
|
Finitary inductively presented logics.Solomon Feferman - manuscriptdetails
|
|