Decidability of Cancellative Extension of Monoidal t-norm Based Logic

0079131 - ÚI 2007 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : monoidal t-norm based logic * MTL-algebra * Pi MTL-algebra * decidability * finite embeddability property * equational theory * quasi-equational theory
Subject RIV: BA - General Mathematics
Impact factor: 0.229, year: 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.
Permanent Link: http://hdl.handle.net/11104/0144001