Filters
The Lattice of Super-Belnap Logics
We study the lattice of extensions of four-valued Belnap-Dunn logic, called super-Belnap logics by analogy with superintuitionistic logics. We describe. The antiaxiomatic (or explosive) extensions...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory
Belnap Dunn logic is a four-valued logic introduced to model reasoning with incomplete or contradictory information. In this article, we show how Dempster-Shafer theory can be used over Belnap Dunn
Philosophy, History and Philosophy of science and technology
- 2023 •
- D
Rok uplatnění
D - Stať ve sborníku
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
We develop a Gentzen-style proof theory for super-Belnap logics (extensions of the four-valued Dunn–Belnap logic), expanding on an approach initiated by Pynko. We as well as the rules of Identity and Cut, ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Reasoning with belief functions over Belnap–Dunn logic
We design an expansion of Belnap–Dunn logic with belief and plausibility functions that allows non-trivial reasoning with contradictory and incomplete to the one presented in [23]. Second, as a two-layered modal logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
An Algebraic View of Super-Belnap Logics
The Belnap–Dunn logic (also known as First Degree Entailment, or FDE) is a well about its extensions, i.e. stronger logics in the same language, called super-Belnap of super-Belnap logics...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Belief Based on Inconsistent Information
and is of a probabilistic nature. We use Belnap-Dunn logic and its probabilistic extensions to accountA recent line of research has developed around logics of belief based on evidence [4, 6]. The approach of [6] u...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Toward Updating Belief Functions over Belnap-Dunn Logic
to Belnap-Dunn (BD) logic, respectively. This work aims at providing an alternative way to treat contradictory information by relying on a logic that was introduced to reason about incomplete and contradictory inf...
Philosophy, History and Philosophy of science and technology
- 2022 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
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
Pure mathematics
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Non-Classical Probabilities for Decision Making in Situations of Uncertainty
for this task, Dempster-Shafer theory and non-standard probability theory based on Belnap-Dunn logic. We show the two frameworks to assume orthogonal perspectives......
Philosophy, History and Philosophy of science and technology
- 2020 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Probabilities with Gaps and Gluts
Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neithe...
Philosophy, History and Philosophy of science and technology
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 9 381