- How Involved do You Want to be in a Non-symmetric Relationship?Fraser MacBride - 2014 - Australasian Journal of Philosophy 92 (1):1-16.details
|
|
Poverty of the Stimulus Revisited.Robert C. Berwick, Paul Pietroski, Beracah Yankama & Noam Chomsky - 2011 - Cognitive Science 35 (7):1207-1242.details
|
|
Qualities, Relations, and Property Exemplification.Dale Jacquette - 2013 - Axiomathes 23 (2):381-399.details
|
|
The senses of functions in the logic of sense and denotation.Kevin C. Klement - 2010 - Bulletin of Symbolic Logic 16 (2):153-188.details
|
|
Interface transparency and the psychosemantics of most.Jeffrey Lidz, Paul Pietroski, Tim Hunter & Justin Halberda - 2011 - Natural Language Semantics 19 (3):227-256.details
|
|
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.details
|
|
Concepts, meanings and truth: First nature, second nature and hard work.Paul M. Pietroski - 2010 - Mind and Language 25 (3):247-278.details
|
|
Sulla relatività logica.Achille C. Varzi - 2004 - In Massimiliano Carrara & Pierdaniele Giaretta (eds.), Filosofia e logica. Rubbettino Editore. pp. 135–173.details
|
|
Úvod do teoretické sémantiky.Jaroslav Peregrin - manuscriptdetails
|
|
Completeness of transfinite evaluation in an extension of the lambda calculus.Luis E. Sanchis - 1987 - Journal of Symbolic Logic 52 (1):243-275.details
|
|
(1 other version)New sets of postulates for combinatory logics.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):18-27.details
|
|
(1 other version)Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.details
|
|
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.details
|
|
The semantics of singular terms.Gordon Matheson - 1962 - Journal of Symbolic Logic 27 (4):439-466.details
|
|
Programs, grammars and arguments: A personal view of some connections between computation, language and logic.J. Lambek - 1997 - Bulletin of Symbolic Logic 3 (3):312-328.details
|
|
(1 other version)Models of logical systems.John G. Kemeny - 1948 - Journal of Symbolic Logic 13 (1):16-30.details
|
|
An abstract church-Rosser theorem. II: Applications.R. Hindley - 1974 - Journal of Symbolic Logic 39 (1):1-21.details
|
|
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.details
|
|
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
The analytic conception of truth and the foundations of arithmetic.Peter Apostoli - 2000 - Journal of Symbolic Logic 65 (1):33-102.details
|
|
Kripke’s paradox and the Church–Turing thesis.Mark D. Sprevak - 2008 - Synthese 160 (2):285-295.details
|
|
Upper Bounds for Standardizations and an Application.Hongwei Xi - 1999 - Journal of Symbolic Logic 64 (1):291-303.details
|
|
On Compositionality.Martin Jönsson - 2008 - Dissertation, Lund Universitydetails
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study.Thomas Bittner - 2019 - Applied ontology 14 (3):251-292.details
|
|
Peirce's sign theory as an open-source R package.Alon Friedman & Erin Feichtinger - 2017 - Signs 8 (1-24).details
|
|
If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.details
|
|
The search of “canonical” explanations for the cerebral cortex.Alessio Plebe - 2018 - History and Philosophy of the Life Sciences 40 (3):40.details
|
|
Philosophy of mathematics and computer science.Kazimierz Trzęsicki - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).details
|
|
Neural Representations Beyond “Plus X”.Alessio Plebe & Vivian M. De La Cruz - 2018 - Minds and Machines 28 (1):93-117.details
|
|
AI and the Origins of the Functional Programming Language Style.Mark Priestley - 2017 - Minds and Machines 27 (3):449-472.details
|
|
Towards structural systematicity in distributed, statically bound visual representations.Shimon Edelman & Nathan Intrator - 2003 - Cognitive Science 27 (1):73-109.details
|
|
The Methodology and Structure of Gottlob Frege's Logico-philosophical Investigations.Kazuyuki Nomoto - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):73-97.details
|
|
An Abstract form of the church-rosser theorem. I.R. Hindley - 1969 - Journal of Symbolic Logic 34 (4):545-560.details
|
|
Carnap a jazyk: z Viedne do Santa Fé.Igor Hanzel - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (4):470-497.details
|
|
Equation or Algorithm: Differences and Choosing Between Them.C. Gaucherel & S. Bérard - 2010 - Acta Biotheoretica 59 (1):67-79.details
|
|
Alonzo church:his life, his work and some of his miracles.Maía Manzano - 1997 - History and Philosophy of Logic 18 (4):211-232.details
|
|
(1 other version)Closing the circle: An analysis of Emil post's early work.Liesbeth de Mol - 2006 - Bulletin of Symbolic Logic 12 (2):267-289.details
|
|
A homogeneous system for formal logic.R. M. Martin - 1943 - Journal of Symbolic Logic 8 (1):1-23.details
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.details
|
|
WHAT more IS.Alexis Wellwood - 2018 - Philosophical Perspectives 32 (1):454-486.details
|
|
Formal ontology of space, time, and physical entities in classical mechanics.Thomas Bittner - 2018 - Applied ontology 13 (2):135-179.details
|
|
Minimal Semantic Instructions.Paul M. Pietroski - 2011 - In Boeckx Cedric (ed.), Oxford Handbook of Linguistic Minimalism. Oxford University Press. pp. 472-498.details
|
|
Natural deduction based set theories: a new resolution of the old paradoxes.Paul C. Gilmore - 1986 - Journal of Symbolic Logic 51 (2):393-411.details
|
|
(1 other version)Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.details
|
|
Semantics and Computational Semantics.Matthew Stone - unknowndetails
|
|
Les représentations intermëdiaires.Jean-Pierre Desclés - 1990 - Revue de Synthèse 111 (1-2):33-56.details
|
|