Počet záznamů: 1
Decidability of PiMTL
- 1.0040889 - ÚI 2007 IT eng A - Abstrakt
Horčík, Rostislav
Decidability of PiMTL.
Ordered Structures in Many Valued Logics. Salerno: Universita di Salerno, 2006. s. 33-33.
[Ordered Structures in Many Valued Logics. International Symposium. 28.05.2006-01.06.2006, Massa Lubrense]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: decidability * monoidal t-norm based logic * totally ordered group * Hahn's embedding theorem * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0134512
Počet záznamů: 1