Počet záznamů: 1  

A note on the substructural hierarchy

  1. 1.
    0456876 - MU-W 2017 RIV DE eng J - Článek v odborném periodiku
    Jeřábek, Emil
    A note on the substructural hierarchy.
    Mathematical Logic Quarterly. Roč. 62, 1-2 (2016), s. 102-110. ISSN 0942-5616
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: substructural hierarchy * full Lambek calculus * extension variables
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.250, rok: 2016
    http://dx.doi.org/10.1002/malq.201500066

    We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the N3 level of the substructural hierarchy.
    Trvalý link: http://hdl.handle.net/11104/0257350
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek1.pdf2178 KBVydavatelský postprintvyžádat