Košík

0381410 - ÚI 2013 JP eng A - Abstrakt
Horčík, Rostislav
Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable.
Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 2-2
[Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
Institucionální podpora: RVO:67985807
Klíčová slova: residuated lattices * decidability * quasiequational theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0007308