Extending the Lambek calculus with classical negation

DOI10.1007/S11225-021-09965-YMaRDI QIDQ2118967zbMATH OpenOpenAlexFDO

Authors Michael Kaminski

Publication date 23 March 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09965-y

zbMATH Keywords

classical negationframe semanticsLambek calculussequent calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Review text

Let \textbf{NL} be the non-associative Lambek calculus and S (our symbol) be the ternary relational semantics for \textbf{NL} as defined in [\textit{K. Došen}, Z. Math. Logik Grundlagen Math. 38, No. 2, 179--187 (1992; Zbl 0793.03025)]. Moreover, let negation be classically interpreted when ``a world satisfies the negation of a formula if and only if it does not satisfy the formula itself (p. 295). The question the author poses is how \textbf{NL} has to be extended in order to obtain a sound and complete system w.r.t. S with the classical interpretation of negation just defined. The author recalls some known items in the literature and claims that none of them answers the question he has posed. Then he defines the calculus \textbf{NLN}\(^{+}\), which is proved sound and complete w.r.t. S with negation interpreted classically as defined above. As the author notes (p. 296), ``the calculus \textbf{NLN}\(^{+}\) is tightly related to \textbf{PNL} -- the Lambek calculus extended with classical propositional logic defined by \textit{M. Kaminski} and \textit{N. Francez} [Stud. Log. 102, No. 3, 479--497 (2014; Zbl 1322.03018)]. So some results of the quoted work are used throughout the paper. The author remarks (Remark 31) that \textbf{NLN}\(^{+}\) is strongly decidable.

Recommendations

• Classical non-associative Lambek calculus
• On classical nonassociative Lambek calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• On involutive nonassociative Lambek calculus
• De Morgan interpretation of the Lambek-Grishin calculus

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A Note on Negation in Categorial Grammar
• Categorial grammars with negative information
• Classical non-associative Lambek calculus
• scientific article; zbMATH DE number 1341928 (Why is no real title available?)
• Relational semantics of the Lambek calculus extended with classical propositional logic
• The Mathematics of Sentence Structure

Cited in

(7)

• Classical non-associative Lambek calculus
• A rule-extension of the non-associative Lambek calculus
• On classical nonassociative Lambek calculus
• Involutive nonassociative Lambek calculus: sequent systems and complexity
• scientific article; zbMATH DE number 6131419 (Why is no real title available?)
• Extensions of Lambek calculi
• A Note on Negation in Categorial Grammar

This page was built for publication: Extending the Lambek calculus with classical negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118967)