- Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.details
|
|
A new theory of quantifiers and term connectives.Ken Akiba - 2009 - Journal of Logic, Language and Information 18 (3):403-431.details
|
|
Scope and binding.Anna Szabolcsi - 2011 - In von Heusinger, Maienborn & Portner (eds.), Semantics: An International Handbook of Natural Language Meaning, Vol. 2. de Gruyter Mouton.details
|
|
(1 other version)Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.details
|
|
Combinator operations.David Meredith - 1975 - Studia Logica 34 (4):367 - 385.details
|
|
Towards a variable-free semantics.Pauline Jacobson - 1999 - Linguistics and Philosophy 22 (2):117-185.details
|
|
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.details
|
|
Pseudo-BCI-logic.Grzegorz Dymek & Anna Kozanecka-Dymek - 2013 - Bulletin of the Section of Logic 42 (1/2):33-41.details
|
|
Relevant predication 1: The formal theory. [REVIEW]J. Michael Dunn - 1987 - Journal of Philosophical Logic 16 (4):347-381.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.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
|
|
Prelogic of logoi.Marcel Crabbé - 1976 - Studia Logica 35 (3):219 - 226.details
|
|
Notes on the theory of variable binding term operators.Newton C. A. da Costa & Chris Mortensen - 1983 - History and Philosophy of Logic 4 (1-2):63-72.details
|
|
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.details
|
|
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.details
|
|
Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.details
|
|
A Note on Paradoxical Propositions from an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.details
|
|
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Mathematical Logic Quarterly 20 (13‐18):199-201.details
|
|
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.details
|
|
Equality in.M. W. Bunder - 1978 - Mathematical Logic Quarterly 24 (8):125-127.details
|
|
Equality in 21* with Restricted Subjects.M. W. Bunder - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (8):125-127.details
|
|
(1 other version)Categories of First -Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.details
|
|
Natural Recursion Doesn’t Work That Way: Automata in Planning and Syntax.Cem Bozsahin - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer. pp. 95-112.details
|
|
(1 other version)Categories of First-Order Quantifiers.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.details
|
|
The proper treatment of variables in predicate logic.Kai F. Wehmeier - 2018 - Linguistics and Philosophy 41 (2):209-249.details
|
|
Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.details
|
|
Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.details
|
|
Equivalence of bar recursors in the theory of functionals of finite type.Marc Bezem - 1988 - Archive for Mathematical Logic 27 (2):149-160.details
|
|
The syntactic process: Language, speech, and communication, mark Steedman. [REVIEW]Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (4):526-530.details
|
|
G‐Stratification is Equivalent to F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8‐10):141-150.details
|
|
G_‐Stratification is Equivalent to _F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8-10):141-150.details
|
|
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.details
|
|
Quantification without variables in connectionism.John A. Barnden & Kankanahalli Srinivas - 1996 - Minds and Machines 6 (2):173-201.details
|
|
Is reality fundamentally qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
(1 other version)Efficient Combinatory Reduction.John Staples - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):391-402.details
|
|
The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.details
|
|
Paycheck Pronouns, Bach-Peters Sentences, and Variable-Free Semantics.Pauline Jacobson - 2000 - Natural Language Semantics 8 (2):77-155.details
|
|
(1 other version)Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Mathematical Logic Quarterly 23 (7‐12):169-180.details
|
|
Completeness of the normal typed fragment of the λ-system U.Glen Helman - 1977 - Journal of Philosophical Logic 6 (1):33 - 46.details
|
|
(1 other version)The Standardization Theorem for λ‐Calculus.Gerd Mitschke - 1979 - Mathematical Logic Quarterly 25 (1‐2):29-31.details
|
|
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.details
|
|
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.details
|
|
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.details
|
|
Beyond Peirce: The New Science of Semiotics and the Semiotics of Law. [REVIEW]Charls Pearson - 2008 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 21 (3):247-296.details
|
|
Different Notions of Constructivity — their Ontology.Amitabha Ghose - 1978 - Dialectica 32 (3‐4):245-253.details
|
|
Constructions and concepts.Jaroslav Peregrin - manuscriptdetails
|
|
Gapping as constituent coordination.Mark J. Steedman - 1990 - Linguistics and Philosophy 13 (2):207 - 263.details
|
|
Categorial grammar and the semantics of contextual prepositional phrases.Nissim Francez & Mark Steedman - 2006 - Linguistics and Philosophy 29 (4):381 - 417.details
|
|