A Note on Negation in Categorial Grammar

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

[1]  Joachim Lambek,et al.  On the Calculus of Syntactic Types , 1961 .

[2]  Yuri Gurevich,et al.  Intuitionistic logic with strong negation , 1977 .

[3]  Wojciech Buszkowski.  Completeness Results for Lambek Syntactic Calculus , 1986, Math. Log. Q..

[4]  Heinrich Wansing.  A Rule-Extension of the Non-Associative Lambek Calculus , 2002, Stud Logica.

[5]  Wojciech Buszkowski,et al.  Mathematical Linguistics and Proof Theory , 1997, Handbook of Logic and Language.

[6]  Roman Jakobson,et al.  Structure of Language and Its Mathematical Aspects , 1961 .

[7]  Norihiro Kamide.  Sequent Calculi for Intuitionistic Linear Logic with Strong Negation , 2002, Log. J. IGPL.

[8]  David Nelson,et al.  Constructible falsity , 1949, Journal of Symbolic Logic.

[9]  Jochen Dörre,et al.  On Constraint-Based Lambek Calculi , 1995, ArXiv.

[10]  Norihiro Kamide.  A Canonical Model Construction for Substructural Logics with Strong Negation , 2002, Reports Math. Log..

[11]  D. Gabbay,et al.  What is Negation , 1999 .

[12]  David Nelson,et al.  Constructible falsity and inexact predicates , 1984, Journal of Symbolic Logic.

[13]  Heinrich Wansing,et al.  Connexive Modal Logic , 2004, Advances in Modal Logic.

[14]  Franz Kutschera.  Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle , 1969 .

[15]  L. Goble.  The Blackwell guide to philosophical logic , 2001 .

[16]  Heinrich Wansing,et al.  The Logic of Information Structures , 1993, Lecture Notes in Computer Science.

[17]  Dana,et al.  JSL volume 88 issue 4 Cover and Front matter , 1983, The Journal of Symbolic Logic.

[18]  Richard Routley,et al.  Semantical analyses of propositional systems of Fitch and Nelson , 1974 .

[19]  Norihiro Kamide,et al.  Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation , 2006, J. Log. Lang. Inf..

[20]  J. Dunn,et al.  Generalized Ortho Negation , 1996 .

[21]  Wojciech Buszkowski.  Categorial Grammars with Negative Information , 1996 .