Standard Completeness Theorem for -MTL

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A03109547" target="_blank" >RIV/68407700:21230/05:03109547 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Standard Completeness Theorem for -MTL
Original language description
PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the classof PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras.
Czech name
Věta o standardní úplnosti logiky PiMTL
Czech description
PiMTL je schematické rozšíření Monoidal T-norm Based Logic (MTL) o axiomy charakteristické produktové logice. V tomto článku ukazujeme, že PiMTL splňuje větu o standardní úplnosti. Z algebraického hlediska to znamená, že třída standardních PiMTL-algebergeneruje varietu všech PiMTL-algeber.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GA201%2F02%2F1540" target="_blank" >GA201/02/1540: Many-valued logics for soft computing</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)