- Eric Snyder. Semantics and the Ontology of Number.Michael Glanzberg - forthcoming - Philosophia Mathematica.details
|
|
A system of dynamic modal logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
Quantifiers, anaphora, and intensionality.Mary Dalrymple, John Lamping, Fernando Pereira & Vijay Saraswat - 1997 - Journal of Logic, Language and Information 6 (3):219-273.details
|
|
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.details
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|
Extending Lambek grammars to basic categorial grammars.Wojciech Buszkowski - 1996 - Journal of Logic, Language and Information 5 (3-4):279-295.details
|
|
Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.details
|
|
Relevance logics and relation algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.details
|
|
The epsilon calculus' problematic.B. H. Slater - 1994 - Philosophical Papers 23 (3):217-242.details
|
|
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.details
|
|
The Quantified Argument Calculus and Natural Logic.Hanoch Ben-Yami - 2020 - Dialectica 74 (2):179-214.details
|
|
Monotonicity and collective quantification.Gilad Ben-avi & Yoad Winter - 2003 - Journal of Logic, Language and Information 12 (2):127-151.details
|
|
Directions in Generalized Quantifier Theory.Dag Westerståhl & J. F. A. K. van Benthem - 1995 - Studia Logica 55 (3):389-419.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.details
|
|
Nonrepresentable relation algebras from groups.Hajnal Andréka, István Németi & Steven Givant - 2020 - Review of Symbolic Logic 13 (4):861-881.details
|
|
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.details
|
|
Lambek calculus and its relational semantics: Completeness and incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.details
|
|
Editor's Introduction.André Fuhrmann - 1995 - Notre Dame Journal of Formal Logic 36 (1):1-14.details
|
|
Mathematical reasoning vs. abductive reasoning: A structural approach.Atocha Aliseda - 2003 - Synthese 134 (1-2):25 - 44.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.details
|
|
Ways of Scope Taking.Anna Szabolcsi (ed.) - 1997 - Kluwer Academic Publishers.details
|
|
La expresión de lo cognoscible y los mundos posibles.Paulo Velez Leon - 2016 - In Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto (eds.), Temas em filosofia contemporânea II. Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina. pp. 64-74.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
Monotonicity in opaque verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.details
|
|
Choice functions and the scopal semantics of indefinites.Yoad Winter - 1997 - Linguistics and Philosophy 20 (4):399-467.details
|
|
A unified semantic treatment of singular NP coordination.Yoad Winter - 1996 - Linguistics and Philosophy 19 (4):337 - 391.details
|
|
Substructural logics.Heinrich Wansing - 1996 - Erkenntnis 45 (1):115-118.details
|
|
Variables as stacks.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (2):143-167.details
|
|
Merging without mystery or: Variables in dynamics semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.details
|
|
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.details
|
|
The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.details
|
|
Modal Foundations for Predicate Logic.Johan van Benthem - 1997 - Logic Journal of the IGPL 5 (2):259-286.details
|
|
Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.details
|
|
Categorial Grammar and Type Theory.Johan Van Benthem - 1990 - Journal of Philosophical Logic 19 (2):115-168.details
|
|
Basic simple type theory, J. Roger Hindley.Hans-Joerg Tiede - 1999 - Journal of Logic, Language and Information 8 (4):473-476.details
|
|
A fugue on the themes of awareness logic and correspondence.Elias Thijsse & Heinrich Wansing - 1996 - Journal of Applied Non-Classical Logics 6 (2):127-136.details
|
|
The effect of negative polarity items on inference verification.Anna Szabolcsi, Lewis Bott & Brian McElree - 2008 - Journal of Semantics 25 (4):411-450.details
|
|
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.details
|
|
A System of Dynamic Modal Logic.Maarten Rijkdee - 1998 - Journal of Philosophical Logic 27 (2):109-142.details
|
|
On contextual domain restriction in categorial grammar.Erich H. Rast - 2013 - Synthese 190 (12):2085-2115.details
|
|
Commutative Lambek Grammars.Tikhon Pshenitsyn - 2023 - Journal of Logic, Language and Information 32 (5):887-936.details
|
|
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.details
|
|
Models for the Lambek calculus.Mati Pentus - 1995 - Annals of Pure and Applied Logic 75 (1-2):179-213.details
|
|
On the completeness of the Lambek calculus with respect to relativized relational semantics.Nikolai Pankrat'ev - 1994 - Journal of Logic, Language and Information 3 (3):233-246.details
|
|
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.details
|
|
New directions in type-theoretic grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.details
|
|
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.details
|
|
Parsing/Theorem-Proving for Logical Grammar CatLog3.Glyn Morrill - 2019 - Journal of Logic, Language and Information 28 (2):183-216.details
|
|