On Theories and Models in Fuzzy Predicate Logics

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F06%3A00041857" target="_blank" >RIV/67985807:_____/06:00041857 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On Theories and Models in Fuzzy Predicate Logics
Original language description
n the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models.
Czech name
O teoriích a modelech v predikátových fuzzy logikách
Czech description
Mnoho systémů formální fuzzy logiky bylo vyvinuto v posledních desetiletích. Protože hlavní rozdíly mezi fuzzy a klasikou logikou spočívají již na výrokové urovni, je vývoj fuzzy predikátových logik spíše pomalý (vzhledem k logikám výrokovým). Tímto textem chceme povzbudit zájem o fuzzy predikátové logiky a přispět k teorii modelů těchto logik. Nejprve zobecníme větu o úplnosti a poté použijeme dosažených výsledků ke studiu dosvědčených modelů a konzervativních rozšíření teorií.

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/IAA100300503" target="_blank" >IAA100300503: Mathematical foundation of inference and decision under uncertainty</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

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

Similar results(10)