On the Failure of Standard Completeness in PiMTL for Infinite Theories

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00079129" target="_blank" >RIV/67985807:_____/07:00079129 - isvavai.cz</a>
Alternative codes found
RIV/68407700:21230/07:03134167
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On the Failure of Standard Completeness in PiMTL for Infinite Theories
Original language description
It is well-known that Hájek's Basic Fuzzy Logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's Monoidal T-norm Based Logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic.
Czech name
PiMTL nemá silnou standardní úplnost pro nekonečné teorie
Czech description
Je dobře známo, že Hájkova Basic Fuzzy Logic (BL), Lukasiewiczova logika a produktová logika nejsou silně standardně úplné. Na druhou stranu monoidální t-normová logika MTL a její involutivní rozšíření IMTL jsou silně standardně úplné. V článku ukazujeme, že PiMTL (kancelativní rozšíření MTL) není silně standardně úplná podobně jako BL, Lukasiewiczova a produktová logika.

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

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

Similar results(10)