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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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 - 2024 - Australasian Journal of Logic 21 (2):64-90.
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.
Lambek grammars as combinatory categorial grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
Analyzing the core of categorial grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities.T. Jarmużek, J. Malinowski, A. Parol & N. Zamperlin - forthcoming - Logic Journal of the IGPL.
Note on Contradictions in Francez-Weiss Logics.Satoru Niki - forthcoming - Logic and Logical Philosophy:1-30.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.

Analytics

Added to PP
2015-02-04

Downloads
33 (#689,169)

6 months
9 (#497,927)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

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.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Connexive Implications in Substructural Logics.Davide Fazio & Gavin St John - 2024 - Review of Symbolic Logic 17 (3):878-909.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references