arXiv subjects

Antonin Dvorak

Publications and source records attributed to Antonin Dvorak.

2 recordsLinked to original sources

arXiv2023

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

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.

math.LO↗

arXiv2021

Qualitative integrals on Dragonfly algebras

In this paper, we investigate qualitative integrals (generalizations of Sugeno integral) acting on recently introduced Dragonfly algebras. These algebras are designed for applications in data analysis (based on fuzzy relational compositions) when some data are unknown (e.g., missing). Unknown data are represented by the additional dummy value. Definitions of operations on Dragonfly algebras follow lower estimation strategy, i.e., results of operations can be interpreted as lower estimations of results obtained when unknown values are replaced by known ones. We define qualitative integrals on Dragonfly algebras and show their monotonicity. We also prove results characterizing when these integrals return known (or unknown) values. We also present an illustrative example and hint directions of further research.

math.LO↗