Počet záznamů: 1
Almost (MP)-based Substructural Logics
- 1.0361600 - ÚI 2012 FR eng A - Abstrakt
Cintula, Petr - Noguera, C.
Almost (MP)-based Substructural Logics.
Topology, Algebra and Categories in Logic. Marseille, 2011. s. 107-110.
[TACL 2011. Topology, Algebra and Categories in Logic /5./. 26.07.2011-30.07.2011, Marseilles]
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: nonassociative full Lambek calculus * deduction theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0198882
Název souboru Staženo Velikost Komentář Verze Přístup 0361600.pdf 0 634.9 KB Autorský preprint povolen
Počet záznamů: 1