Number of the records: 1
Lambek Calculus with Conjugates
- 1.0531299 - ÚI 2022 RIV NL eng J - Journal Article
Sedlár, Igor - Tedder, Andrew
Lambek Calculus with Conjugates.
Studia Logica. Roč. 109, č. 3 (2021), s. 447-470. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Conjugates * Lambek Calculus * Modal logic * Routley–Meyer semantics
OECD category: Pure mathematics
Impact factor: 0.833, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-020-09913-2
We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to tackle. We prove completeness for some of its fragments and establish that it is decidable. Completeness of the logic is an open problem. Some difficulties with applying the usual proof method are discussed.
Permanent Link: http://hdl.handle.net/11104/0309983
Number of the records: 1