- The nonalgorithmic mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):692-705.details
|
|
Precis of the emperor's new mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):643-705.details
|
|
In Memoriam: Solomon Feferman (1928–2016).Charles Parsons & Wilfried Sieg - 2017 - Bulletin of Symbolic Logic 23 (3):337-344.details
|
|
Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.details
|
|
A constructive examination of a Russell-style ramified type theory.Erik Palmgren - 2018 - Bulletin of Symbolic Logic 24 (1):90-106.details
|
|
Steadfast intentions.Keith K. Niall - 1990 - Behavioral and Brain Sciences 13 (4):679-680.details
|
|
Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.details
|
|
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.details
|
|
Analysis without actual infinity.Jan Mycielski - 1981 - Journal of Symbolic Logic 46 (3):625-633.details
|
|
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.details
|
|
The powers of machines and minds.Chris Mortensen - 1990 - Behavioral and Brain Sciences 13 (4):678-679.details
|
|
Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.details
|
|
Computation and consciousness.Drew McDermott - 1990 - Behavioral and Brain Sciences 13 (4):676-678.details
|
|
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.details
|
|
Sur une extension simple du calcul intuitionniste Des predicats du premier ordre appliquee a l'analyse.Maurice Margenstern - 1984 - Mathematical Logic Quarterly 30 (19‐24):317-324.details
|
|
Sur Une Extension Simple du Calcul Intuitionniste Des Predicats du Premier Ordre Appliquee a L'Analyse.Maurice Margenstern - 1984 - Mathematical Logic Quarterly 30 (19-24):317-324.details
|
|
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.details
|
|
Gödel redux.Alexis Manaster-Ramer, Walter J. Savitch & Wlodek Zadrozny - 1990 - Behavioral and Brain Sciences 13 (4):675-676.details
|
|
Finitary sequence spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):416-430.details
|
|
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Mathematical Logic Quarterly 34 (2):97-103.details
|
|
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):97-103.details
|
|
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.details
|
|
An intuitionistic logic for preference relations.Paolo Maffezioli & Alberto Naibo - 2019 - Logic Journal of the IGPL 27 (4):434-450.details
|
|
Uncertainty about quantum mechanics.Mark S. Madsen - 1990 - Behavioral and Brain Sciences 13 (4):674-675.details
|
|
The discomforts of dualism.Bruce MacLennan - 1990 - Behavioral and Brain Sciences 13 (4):673-674.details
|
|
Quantum AI.Rudi Lutz - 1990 - Behavioral and Brain Sciences 13 (4):672-673.details
|
|
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.details
|
|
Constructive assertions in an extension of classical mathematics.Vladimir Lifschitz - 1982 - Journal of Symbolic Logic 47 (2):359-387.details
|
|
Time-delays in conscious processes.Benjamin Libet - 1990 - Behavioral and Brain Sciences 13 (4):672-672.details
|
|
On constructing completions.Laura Crosilla, Hajime Ishihara & Peter Schuster - 2005 - Journal of Symbolic Logic 70 (3):969-978.details
|
|
Philosophy, mathematics, science and computation.Enrique V. Kortright - 1994 - Topoi 13 (1):51-60.details
|
|
Logical pluralism and normativity.Teresa Kouri Kissel & Stewart Shapiro - 2017 - Inquiry: An Interdisciplinary Journal of Philosophy:1-22.details
|
|
Étude constructive de problèmes de topologie pour les réels irrationnels.Mohamed Khalouani, Salah Labhalla & Et Henri Lombardi - 1999 - Mathematical Logic Quarterly 45 (2):257-288.details
|
|
A New Approach to Constructive Topology and Measure Theory.A. K. Khalifa - 1989 - Mathematical Logic Quarterly 35 (6):539-550.details
|
|
A New Approach to Constructive Topology and Measure Theory.A. K. Khalifa - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):539-550.details
|
|
Parallelism and patterns of thought.R. W. Kentridge - 1990 - Behavioral and Brain Sciences 13 (4):670-671.details
|
|
On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture.Juliette Kennedy - 2013 - Bulletin of Symbolic Logic 19 (3):351-393.details
|
|
Toward a Clarity of the Extreme Value Theorem.Karin U. Katz, Mikhail G. Katz & Taras Kudryk - 2014 - Logica Universalis 8 (2):193-214.details
|
|
A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (1):51-89.details
|
|
Noncomputability, unpredictability, undecidability, and unsolvability in economic and finance theories.Ying-Fang Kao, V. Ragupathy, K. Vela Velupillai & Stefano Zambelli - 2013 - Complexity 18 (1):51-55.details
|
|
Mathematical and Moral Disagreement.Silvia Jonas - 2020 - Philosophical Quarterly 70 (279):302-327.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
A long time ago in a computing lab far, far away….Jeffery L. Johnson, R. H. Ettinger & Timothy L. Hubbard - 1990 - Behavioral and Brain Sciences 13 (4):670-670.details
|
|
Continuity and nondiscontinuity in constructive mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.details
|
|
Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.details
|
|
An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.details
|
|
An omniscience principle, the König Lemma and the Hahn-Banach theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.details
|
|
A constructive look at the completeness of the space (ℝ).Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.details
|
|
Selecting for the con in consciousness.Deborah Hodgkin & Alasdair I. Houston - 1990 - Behavioral and Brain Sciences 13 (4):668-669.details
|
|
Penrose's Platonism.James Higginbotham - 1990 - Behavioral and Brain Sciences 13 (4):667-668.details
|
|