Free Quantification in Four-Valued and Fuzzy Bilattice-Valued Logics

Autor:	Behounek, Libor, Dankova, Martina, Dvorak, Antonin
Rok vydání:	2023
Předmět:	Mathematics - Logic 03B50 03B52
Druh dokumentu:	Working Paper
Popis:	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. Comment: 12 pages, to appear in the proceedings of the IUKM 2023 Conference. Version 2: minor corrections and terminology changes
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2306.13079 Zobrazit plný text záznamu View this record from Arxiv