Towards Fuzzy Partial Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F15%3AA1601C61" target="_blank" >RIV/61988987:17610/15:A1601C61 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Towards Fuzzy Partial Logic
Popis výsledku v původním jazyce
In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics with respect to algebras of truth values extended by a special value"*". This value may have several interpretations, namely "undefined", "meaningless", "non-applicable", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.
Název v anglickém jazyce
Towards Fuzzy Partial Logic
Popis výsledku anglicky
In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics with respect to algebras of truth values extended by a special value"*". This value may have several interpretations, namely "undefined", "meaningless", "non-applicable", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)