- Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.details
|
|
The surprise examination on the paradox of the Heap.Joseph Wayne Smith - 1984 - Philosophical Papers 13 (1):43-56.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Difficulties of demonstrating the possession of concepts.Ernst von Glasersfeld - 1988 - Behavioral and Brain Sciences 11 (4):601-602.details
|
|
A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.details
|
|
On a second order propositional operator in intuitionistic logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.details
|
|
On a second order propositional operator in intuitionistic logic.A. A. Troelstra - 1981 - Studia Logica 40:113.details
|
|
To honor Davis & Pérusse and repeal their glossary of processes of numerical competence.Roger K. Thomas - 1988 - Behavioral and Brain Sciences 11 (4):600-600.details
|
|
Problems of axiomatics and complexity in studying numerical competence in animals.Patrick Suppes - 1988 - Behavioral and Brain Sciences 11 (4):599-599.details
|
|
Possibilities for the construction of a sense of number by animals.Leslie P. Steffe - 1988 - Behavioral and Brain Sciences 11 (4):598-599.details
|
|
On the concept of language in some recent theories of meaning.Sören Stenlund - 1989 - Synthese 79 (1):51 - 98.details
|
|
Competitive equilibrium with intuitionistic agents.Jack Douglas Stecher - 2011 - Synthese 181 (S1):49 - 63.details
|
|
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Logic, ontology, mathematical practice.Stewart Shapiro - 1989 - Synthese 79 (1):13 - 50.details
|
|
Are animals naturally attuned to number?Uta Seibt - 1988 - Behavioral and Brain Sciences 11 (4):597-598.details
|
|
Language and counting in animals: Stimulus classes and equivalence relations.Ronald J. Schusterman - 1988 - Behavioral and Brain Sciences 11 (4):596-597.details
|
|
On the Coherence of Wittgensteinian Constructivism.Amit Saad - 2016 - Acta Analytica 31 (4):455-462.details
|
|
Reply to Øystein Linnebo and Stewart Shapiro.Ian Rumfitt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):842-858.details
|
|
Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Mathematical Logic Quarterly 34 (1):25-40.details
|
|
Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):25-40.details
|
|
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.details
|
|
Truth Values and Proof Theory.Greg Restall - 2009 - Studia Logica 92 (2):241-264.details
|
|
Intuitionistic truth.Wlodzimierz Rabinowicz - 1985 - Journal of Philosophical Logic 14 (2):191 - 228.details
|
|
The theory of empirical sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.details
|
|
Studying numerical competence: A trip through linguistic wonderland?Irene M. Pepperberg - 1988 - Behavioral and Brain Sciences 11 (4):595-596.details
|
|
Reinforcement schedules and “numerical competence”.John A. Nevin - 1988 - Behavioral and Brain Sciences 11 (4):594-595.details
|
|
Epistemic logic: All knowledge is based on our experience, and epistemic logic is the cognitive representation of our experiential confrontation in reality.Dan Nesher - 2021 - Semiotica 2021 (238):153-179.details
|
|
A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.details
|
|
Logical foundations of applied mathematics.V. V. Nalimov - 1974 - Synthese 27 (1-2):211 - 250.details
|
|
Penser la négation: une introduction. [REVIEW]Denis Miéville - 1992 - Argumentation 6 (1):1-6.details
|
|
Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.details
|
|
Is it the thought that counts?Brendan McGonigle - 1988 - Behavioral and Brain Sciences 11 (4):593-594.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
|
|
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.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
|
|
Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.details
|
|
You can't succeed without really counting.Euan M. Macphail - 1988 - Behavioral and Brain Sciences 11 (4):592-593.details
|
|
Wilson on relativism and teaching.Jim Mackenzie - 1987 - Journal of Philosophy of Education 21 (1):119–130.details
|
|
Numbers and counting: Intuitionistic and gestalt psychological viewpoints.Abraham S. Luchins & Edith H. Luchins - 1988 - Behavioral and Brain Sciences 11 (4):591-592.details
|
|
Constructions and negationless logic.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):7 - 22.details
|
|
Introduction to special issue on ‘critical views of logic’.Øystein Linnebo, Frode Kjosavik & Mirja Hartimo - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):631-637.details
|
|
Number reckoning strategies: A basis for distinction.Eugene C. Lechelt - 1988 - Behavioral and Brain Sciences 11 (4):590-591.details
|
|
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.Michael R. Koss - 2015 - Erkenntnis 80 (5):1055-1068.details
|
|
Number concepts in animals: A multidimensional array.James E. King - 1988 - Behavioral and Brain Sciences 11 (4):590-590.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
|
|
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
|
|