Vytisknout
0377617 - ÚI 2013 CO eng A - Abstrakt
Cintula, Petr - Haniková, Zuzana - Horčík, Rostislav - Noguera, C.
Semilinear non-associative substructural logics: completeness properties and complexity.
SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012. s. 63.
[SLALM 2012. Latin American Symposium on Mathematical logic /15./. 04.06.2012-08.06.2012, Bogotá]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * non-associative full Lambek logic * lattice-ordered residuated unital groupoids * completeness theorem * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0209726
Cintula, Petr - Haniková, Zuzana - Horčík, Rostislav - Noguera, C.
Semilinear non-associative substructural logics: completeness properties and complexity.
SLALM 2012 Abstracts. Bogotá: Universidad de los Andes, 2012. s. 63.
[SLALM 2012. Latin American Symposium on Mathematical logic /15./. 04.06.2012-08.06.2012, Bogotá]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * non-associative full Lambek logic * lattice-ordered residuated unital groupoids * completeness theorem * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0209726