On Witnessed Models in Fuzzy Logic

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

Result language
angličtina
Original language name
On Witnessed Models in Fuzzy Logic
Original language description
Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i. e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification (maximum). Systematic theory of known fuzzy logics endowed with this semantics is developed with special attention paid to problems of arithmetical complexity of sets of tautologies and of satisfiable formulas.
Czech name
O dosvědčených modelech fuzzy logiky
Czech description
Článek prezentuje teorii dosvědčených modelů fuzzy predikátové logiky, tj. modelů v nichž pravdivostní hodnota každé univerzální kvantifikované formule je minimum hodnot jejích instancí a podobně pro existenční kvantifikaci (maximum).

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
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)