Počet záznamů: 1
Lambek Calculus with Conjugates
- 1.0531299 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Conjugates * Lambek Calculus * Modal logic * Routley–Meyer semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.833, rok: 2021
Způsob publikování: Omezený přístup
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.
Trvalý link: http://hdl.handle.net/11104/0309983
Počet záznamů: 1