Počet záznamů: 1  

Full Lambek Calculus with Contraction is Undecidable

  1. 1.
    0442807 - UIVT-O 2017 RIV US eng J - Článek v odborném periodiku
    Chvalovský, Karel - Horčík, Rostislav
    Full Lambek Calculus with Contraction is Undecidable.
    Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812
    Grant CEP: GA ČR GAP202/11/1632
    Institucionální podpora: RVO:67985807
    Klíčová slova: substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.511, rok: 2016

    We prove that the set of formulae provable in the full Lambek calculus with the structural rule of contraction is undecidable. In fact, we show that the positive fragment of this logic is undecidable.
    Trvalý link: http://hdl.handle.net/11104/0245628
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0442807.pdf2369.7 KBVydavatelský postprintvyžádat