Number of the records: 1  

Lambek Calculus with Conjugates

  1. 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