Correction to: Lambek Calculus with Conjugates

&
Studia Logica 109 (3):471-471 (2020)
  Copy   BIBTEX

Abstract

We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26:1865-1912.

Categories

Keywords

Reprint years

2021

DOI

10.1007/s11225-020-09927-w

Links

PhilArchive



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

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

Lambek Calculus with Conjugates.Igor Sedlár & Andrew Tedder - 2020 - Studia Logica 109 (3):447-470.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.
A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.Maria Bulińska - 2005 - Studia Logica 81 (1):43-59.
Full Lambek Calculus in natural deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Lambek calculus and its relational semantics: Completeness and incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
On the Complexity of Nonassociative Lambek Calculus with Unit.Maria Bulińska - 2009 - Studia Logica 93 (1):1-14.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
Powerset residuated algebras and generalized Lambek calculus.Miroslawa Kolowska-Gawiejnowicz - 1997 - Mathematical Logic Quarterly 43 (1):60-72.

Analytics

Added to PP
2020-10-18

Downloads
26 (#611,127)

6 months
15 (#166,927)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Igor Sedlár
Czech Academy of Sciences
Andrew Tedder
University of Connecticut

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references