- Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.details
|
|
Definability and decidability issues in extensions of the integers with the divisibility predicate.Patrick Cegielski, Yuri Matiyasevich & Denis Richard - 1996 - Journal of Symbolic Logic 61 (2):515-540.details
|
|
The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.details
|
|
Polynomial rings and weak second-order logic.Anne Bauval - 1985 - Journal of Symbolic Logic 50 (4):953-972.details
|
|
Decision theory with prospect interference and entanglement.V. I. Yukalov & D. Sornette - 2011 - Theory and Decision 70 (3):283-328.details
|
|
The two modes of identifying objects: descriptive and holistic for concrete objects; recursive and ostensive for abstract objects.Miriam L. Yevick - 1978 - Behavioral and Brain Sciences 1 (2):253-254.details
|
|
König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
O comprometimento da identidade com a individuação nas teorias formais clássicas.Jaison Schinaider - 2015 - Filosofia Unisinos 16 (1).details
|
|
On Berry's paradox and nondiagonal constructions.Dev K. Roy - 1999 - Complexity 4 (3):35-38.details
|
|
Program execution in connectionist networks.Martin Roth - 2005 - Mind and Language 20 (4):448-467.details
|
|
Classically archetypal rules.Tomasz Połacik & Lloyd Humberstone - 2018 - Review of Symbolic Logic 11 (2):279-294.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Scientific discovery based on belief revision.Eric Martin & Daniel Osherson - 1997 - Journal of Symbolic Logic 62 (4):1352-1370.details
|
|
Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.details
|
|
In defense of the simplest quantified modal logic.Bernard Linsky & Edward N. Zalta - 1994 - Philosophical Perspectives 8:431-458.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.details
|
|
Lessons from the History and Philosophy of Science regarding the Research Assessment Exercise.Donald Gillies - 2007 - Royal Institute of Philosophy Supplement 61:37-73.details
|
|
Cauchy's variables and orders of the infinitely small.Gordon Fisher - 1979 - British Journal for the Philosophy of Science 30 (3):261-265.details
|
|
The meaning of mathematical expressions: Does philosophy shed any light on psychology?Paul Ernest - 1990 - British Journal for the Philosophy of Science 41 (4):443-460.details
|
|
Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otagodetails
|
|
Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81, Aftermath of the Logical Paradise. Rio de Janeiro, État de Rio de Janeiro, Brésil: pp. 93-124.details
|
|
An Introduction to a Theory of Abstract Objects.Edward Nouri Zalta - 1981 - Dissertation, University of Massachusetts Amherstdetails
|
|