Decidability of Cancellative Extension of Monoidal t-norm Based Logic

0079131 - ÚI 2007 RIV GB eng J - Článek v odborném periodiku
Horčík, Rostislav
Decidability of Cancellative Extension of Monoidal t-norm Based Logic.
[Rozhodnutelnost kancelativního rozšíření monoidální t-normové logiky.]
Logic Journal of the IGPL. Roč. 14, č. 6 (2006), s. 827-843. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: monoidal t-norm based logic * MTL-algebra * Pi MTL-algebra * decidability * finite embeddability property * equational theory * quasi-equational theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.229, rok: 2006

In this paper we prove that the cancellative extension of Monoidal T-norm Based Logic is decidable. The result holds also for finite consequence relation.

Článek ukazuje, že kancelativní rozšíření monoidální t-normové logiky je rozhodnutelné. Stejný výsledek platí také pro konečnou relaci důsledku.
Trvalý link: http://hdl.handle.net/11104/0144001