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: 93,612

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

Talking about Explicit Databases in Categorial Grammar.Natasha Kurtonina - 1995 - Logic Journal of the IGPL 3 (2-3):357-370.
A note on negation inconsistent variants of FDE-negation.Satoru Niki - unknown
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Lambek grammars as combinatory categorial grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Clausal Proofs and Discontinuity.Glyn Morrill - 1995 - Logic Journal of the IGPL 3 (2-3):403-427.
The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.

Analytics

Added to PP
2015-02-04

Downloads
24 (#647,262)

6 months
11 (#341,391)

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