Models for polymorphic Lambek Calculus

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052157 ◽

1997 ◽

pp. 168-187

Author(s):

Martin Emms

Keyword(s):

Lambek Calculus

Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

Towards Mathematical Philosophy ◽

10.1007/978-1-4020-9084-4_10 ◽

2008 ◽

pp. 201-212 ◽

Cited By ~ 1

Author(s):

Wojciech Zielonka

Keyword(s):

Lambek Calculus ◽

Implicational Logics

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity

Bulletin of the Section of Logic ◽

10.18778/0138-0680.46.1.2.07 ◽

2017 ◽

Vol 46 (1/2) ◽

Author(s):

Wojciech Buszkowski

Keyword(s):

Cut Elimination ◽

Lambek Calculus ◽

Double Negation ◽

Sequent Systems ◽

Sequent System

In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL). Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.

Undecidability of the Lambek Calculus with a Relevant Modality

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-662-53042-9_14 ◽

2016 ◽

pp. 240-256 ◽

Cited By ~ 6

Author(s):

Max Kanovich ◽

Stepan Kuznetsov ◽

Andre Scedrov

Keyword(s):

Lambek Calculus

The Lambek Calculus with Iteration: Two Variants

Logic, Language, Information, and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-662-55386-2_13 ◽

2017 ◽

pp. 182-198 ◽

Cited By ~ 2

Author(s):

Stepan Kuznetsov

Keyword(s):

Lambek Calculus

A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus

Lecture Notes in Computer Science - The Mathematics of Language ◽

10.1007/978-3-642-14322-9_4 ◽

2010 ◽

pp. 36-43 ◽

Cited By ~ 1

Author(s):

Timothy A. D. Fowler

Keyword(s):

Polynomial Time ◽

Polynomial Time Algorithm ◽

Time Algorithm ◽

Lambek Calculus

Lambek Calculus and Formal Languages

Logic Colloquium ’95 - Lecture Notes in Logic ◽

10.1007/978-3-662-22108-2_14 ◽

1998 ◽

pp. 269-272

Author(s):

Mati Pentus

Keyword(s):

Formal Languages ◽

Lambek Calculus

Dyadic Modalities and Lambek Calculus

Diamonds and Defaults ◽

10.1007/978-94-015-8242-1_8 ◽

1993 ◽

pp. 215-253 ◽

Cited By ~ 2

Author(s):

Dirk Roorda

Keyword(s):

Lambek Calculus

Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39998-5_15 ◽

2013 ◽

pp. 242-249 ◽

Cited By ~ 4

Author(s):

Stepan Kuznetsov

Keyword(s):

Normal Form ◽

Lambek Calculus ◽

Conjunctive Grammars ◽

Greibach Normal Form

Correction to: Lambek Calculus with Conjugates

Studia Logica ◽

10.1007/s11225-020-09927-w ◽

2020 ◽

Author(s):

Igor Sedlár ◽

Andrew Tedder

Keyword(s):

Lambek Calculus

Dialectica Categories for the Lambek Calculus

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_16 ◽

2017 ◽

pp. 256-272

Author(s):

Valeria de Paiva ◽

Harley Eades

Keyword(s):

Lambek Calculus