A Note On Negation In Categorial Grammar

Logic Journal of the IGPL 15 (3):271-286 (2007)
  Copy   BIBTEX

Abstract

A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzm012

Links

PhilArchive



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

External links

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

Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. Stanford, CA: CSLI Publications. pp. 259-279.
Categorial Grammar and the Logical Form of Quantification. [REVIEW]John T. Kearns - 1986 - Philosophical Review 95 (1):127-129.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Categorial grammar.Raffaella Bernardi - unknown
Non‐associative Lambek Categorial Grammar in Polynomial Time.Erik Aarts & Kees Trautwein - 1995 - Mathematical Logic Quarterly 41 (4):476-484.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Reasoning with categorial grammar logic.Raffaella Bernardi - unknown
Categorial Grammars.Mary McGee Wood - 1993 - Other.
Tree models and (labeled) categorial grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.
Logic and Grammar.Joachim Lambek - 2012 - Studia Logica 100 (4):667-681.
Discontinous Constituents in Generalized Categorial Grammar.Emmon W. Bach - unknown
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.
Partial proof trees as building blocks for a categorial grammar.Aravind K. Joshi & Seth Kulick - 1997 - Linguistics and Philosophy 20 (6):637-667.

Analytics

Added to PP
2015-02-04

Downloads
22 (#705,671)

6 months
9 (#301,354)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
Connexive Implications in Substructural Logics.Davide Fazio & Gavin St John - forthcoming - Review of Symbolic Logic:1-32.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references