Free quantification in four-valued and fuzzy bilattice-valued logics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F23%3AA2402KSX" target="_blank" >RIV/61988987:17610/23:A2402KSX - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-031-46775-2_2" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-46775-2_2</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-46775-2_2" target="_blank" >10.1007/978-3-031-46775-2_2</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Free quantification in four-valued and fuzzy bilattice-valued logics
Popis výsledku v původním jazyce
We introduce a variant of free logic (i.e., a logic admitting terms with nonexistent referents) that accommodates truth-value gluts as well as gaps. Employing a suitable expansion of the Belnap-Dunn four-valued logic, we specify a dual-domain semantics for free logic, in which propositions containing non-denoting terms can be true, false, neither true nor false, or both true and false. In each model, the dual domain semantics separates existing and non-existing objects into two subdomains, making it possible to quantify either over all objects or existing objects only. We also outline a fuzzy variant of the dual-domain semantics, accommodating non-denoting terms in fuzzy contexts that can be partially indeterminate or inconsistent.
Název v anglickém jazyce
Free quantification in four-valued and fuzzy bilattice-valued logics
Popis výsledku anglicky
We introduce a variant of free logic (i.e., a logic admitting terms with nonexistent referents) that accommodates truth-value gluts as well as gaps. Employing a suitable expansion of the Belnap-Dunn four-valued logic, we specify a dual-domain semantics for free logic, in which propositions containing non-denoting terms can be true, false, neither true nor false, or both true and false. In each model, the dual domain semantics separates existing and non-existing objects into two subdomains, making it possible to quantify either over all objects or existing objects only. We also outline a fuzzy variant of the dual-domain semantics, accommodating non-denoting terms in fuzzy contexts that can be partially indeterminate or inconsistent.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2023
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Integrated Uncertainty in Knowledge Modelling and Decision Making. 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023, Proceedings, Part I
ISBN
978-3-031-46774-5
ISSN
—
e-ISSN
—
Počet stran výsledku
12
Strana od-do
15-26
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
Kanazawa
Datum konání akce
2. 11. 2023
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—