The Lambek Calculus Extended with Intuitionistic Propositional Logic

&
Studia Logica 104 (5):1051-1082 (2016)
  Copy   BIBTEX

Abstract

We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-016-9665-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.Sharon Shoham & Nissim Francez - 2008 - Studia Logica 90 (2):161-188.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Extending the Lambek Calculus with Classical Negation.Michael Kaminski - 2021 - Studia Logica 110 (2):295-317.
An Investigation into Intuitionistic Logic with Identity.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2019 - Bulletin of the Section of Logic 48 (4).
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (1):11-15.
A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
Curry–Howard–Lambek Correspondence for Intuitionistic Belief.Cosimo Perini Brogi - 2021 - Studia Logica 109 (6):1441-1461.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown

Analytics

Added to PP
2016-03-12

Downloads
43 (#516,917)

6 months
7 (#699,353)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nissim Francez
Technion, Israel Institute of Technology

Citations of this work

Add more citations

References found in this work

Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):179-187.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.

View all 13 references / Add more references