Number of the records: 1
Decidability of Cancellative Extension of Monoidal t-norm Based Logic
- 1.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
File Download Size Commentary Version Access 0079131.pdf 0 509.9 KB Author´s preprint open-access
Number of the records: 1