Free quantification in four-valued and fuzzy bilattice-valued logics

Kód výsledku v IS VaVaI

RIV/61988987:17610/23:A2402KSX - isvavai.cz

Výsledek na webu

https://link.springer.com/chapter/10.1007/978-3-031-46775-2_2

DOI - Digital Object Identifier

10.1007/978-3-031-46775-2_2

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

GA22-01137S: Metamatematika substrukturálních modálních logik

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

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

—