- Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
On Logical Relativity.Achille C. Varzi - 2002 - Philosophical Issues 12 (1):197-219.details
|
|
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.details
|
|
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.details
|
|
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.details
|
|
Bounds for proof-search and speed-up in the predicate calculus.Richard Statman - 1978 - Annals of Mathematical Logic 15 (3):225.details
|
|
Kripke’s paradox and the Church–Turing thesis.Mark D. Sprevak - 2008 - Synthese 160 (2):285-295.details
|
|
AI and the Origins of the Functional Programming Language Style.Mark Priestley - 2017 - Minds and Machines 27 (3):449-472.details
|
|
An Overview of Type Theories.Nino Guallart - 2015 - Axiomathes 25 (1):61-77.details
|
|
The search of “canonical” explanations for the cerebral cortex.Alessio Plebe - 2018 - History and Philosophy of the Life Sciences 40 (3):40.details
|
|
Neural Representations Beyond “Plus X”.Alessio Plebe & Vivian M. De La Cruz - 2018 - Minds and Machines 28 (1):93-117.details
|
|
The meaning of 'most': Semantics, numerosity and psychology.Paul Pietroski, Jeffrey Lidz, Tim Hunter & Justin Halberda - 2009 - Mind and Language 24 (5):554-585.details
|
|
Concepts, meanings and truth: First nature, second nature and hard work.Paul M. Pietroski - 2010 - Mind and Language 25 (3):247-278.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.details
|
|
How Involved do You Want to be in a Non-symmetric Relationship?Fraser MacBride - 2014 - Australasian Journal of Philosophy 92 (1):1-16.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
|
|
Proofs and programs.Giuseppe Longo - 2003 - Synthese 134 (1-2):85 - 117.details
|
|
Logics for algorithmic chemistries.Ceth Lightfield - 2021 - Foundations of Chemistry 23 (2):225-237.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
|
|
Unifying foundations – to be seen in the phenomenon of language.Lars Löfgren - 2004 - Foundations of Science 9 (2):135-189.details
|
|
General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.details
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
Символічна логіка: повернення до витоків. Стаття ІІІ. Похідні логістичні категорії.Yaroslav Kokhan - 2021 - Multiversum. Philosophical Almanac 2 (2):141-155.details
|
|
Fundamentals of whole brain emulation: State, transition and update representations.Randal A. Koene - 2012 - International Journal of Machine Consciousness 4 (01):5-21.details
|
|
The mental representation of universal quantifiers.Tyler Knowlton, Paul Pietroski, Justin Halberda & Jeffrey Lidz - 2022 - Linguistics and Philosophy 45 (4):911-941.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
|
|
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.details
|
|
Numeration Models of λ‐Calculus.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (14‐18):209-220.details
|
|
Numeration Models of λβ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (25‐30):409-414.details
|
|
Numeration Models of λ‐Calculus.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (14-18):209-220.details
|
|
Numeration Models of λβ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (25-30):409-414.details
|
|
Classes of Numeration Models of λ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (19‐24):315-322.details
|
|
Classes of Numeration Models of λ-Calculus.Akira Kanda - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):315-322.details
|
|
Syntactical Constraints on Definitions.Dale Jacquette - 2013 - Metaphilosophy 44 (1-2):145-156.details
|
|
Qualities, Relations, and Property Exemplification.Dale Jacquette - 2013 - Axiomathes 23 (2):381-399.details
|
|
Modal Objection to Naive Leibnizian Identity.Dale Jacquette - 2011 - History and Philosophy of Logic 32 (2):107 - 118.details
|
|
Bochenski on Property Identity and the Refutation of Universals.Dale Jacquette - 2006 - Journal of Philosophical Logic 35 (3):293-316.details
|
|
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers.Martina Číhalová & Marie Duží - 2023 - Logic Journal of the IGPL 31 (1):140-171.details
|
|
Equation or Algorithm: Differences and Choosing Between Them.C. Gaucherel & S. Bérard - 2010 - Acta Biotheoretica 59 (1):67-79.details
|
|
Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.details
|
|
Towards structural systematicity in distributed, statically bound visual representations.Shimon Edelman & Nathan Intrator - 2003 - Cognitive Science 23 (1):73-110.details
|
|
If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.details
|
|
The Paradox of Inference and the Non-Triviality of Analytic Information.Marie Duží - 2010 - Journal of Philosophical Logic 39 (5):473 - 510.details
|
|
Aspecto-Temporal Meanings Analysed by Combinatory Logic.Jean-Pierre Desclés, Anca Christine Pascu & Hee-Jin Ro - 2014 - Journal of Logic, Language and Information 23 (3):253-274.details
|
|
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.details
|
|
Arithmetic based on the church numerals in illative combinatory logic.M. W. Bunder - 1988 - Studia Logica 47 (2):129 - 143.details
|
|
Semantic nominalism.John Bigelow - 1981 - Australasian Journal of Philosophy 59 (4):403 – 421.details
|
|