Vytisknout
0439176 - ÚI 2015 US eng V - Výzkumná zpráva
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Kód oboru RIV: BA - Obecná matematika
http://arxiv.org/abs/1501.02250
Trvalý link: http://hdl.handle.net/11104/0242467
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Kód oboru RIV: BA - Obecná matematika
http://arxiv.org/abs/1501.02250
Trvalý link: http://hdl.handle.net/11104/0242467