Categorial Type Logics

In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
A categorial approach to the combination of logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
Equivalence among RC-type paraconsistent logics.Mauricio Osorio & José Abel Castellanos Joo - 2017 - Logic Journal of the IGPL 25 (2):239-252.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
Structure and Completeness: A Defense of Factualism in Categorial Ontology.Javier Cumpa - 2019 - Acta Analytica 34 (2):145-153.
Hybrid Categorial Logics.Mark Hepple - 1995 - Logic Journal of the IGPL 3 (2-3):343-355.
Lambek grammars as combinatory categorial grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
A Routley-Meyer type semantics for relevant logics including B r plus the disjunctive syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Categorial grammars determined from linguistic data by unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431 - 454.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.

Analytics

Added to PP
2020-12-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
The scope of alternatives: indefiniteness and islands.Simon Charlow - 2020 - Linguistics and Philosophy 43 (4):427-472.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.

View all 77 citations / Add more citations

References found in this work

No references found.

Add more references