Number of the records: 1
Decidability of PiMTL
- 1.0040889 - ÚI 2007 IT eng A - Abstract
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]
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : decidability * monoidal t-norm based logic * totally ordered group * Hahn's embedding theorem * MTL-algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0134512
Number of the records: 1