Filters
On Lukasiewicz's Four-Valued Modal Logic.
Lukasiewicz's four-valued modal logic is surveyed and analyzed, together with Lukasiewicz's motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Propositional Dynamic Logic with Belnapian Truth Values
We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing ('Modal logics with Belnapian truth values', J. Appl. ...
BA - Obecná matematika
- 2016 •
- D
Rok uplatnění
D - Stať ve sborníku
Bitopology and four-valued logic
for the connectives of four-valued logic.Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics ...
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
The logic BN4 was defined by RT Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of (relev...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
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
Two-Layered Logics for Paraconsistent Probabilities
probabilities that combine the Łukasiewicz [0,1]-valued logic with Baaz Delta operator and the Belnap–Dunn logic. The first logic formalises a ‘two-valued’ approach where each, the likelihoods of ϕ and ¬ϕ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Łukasiewicz, determinism, and the four-valued system of logic
-valued and n-valued logic, he employed these systems in his arguments against determinism. On the contrary, Łukasiewicz preferred the four-valued system of logicŁukasiewicz is known primarily as ...
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
An Algebraic View of Super-Belnap Logics
The Belnap–Dunn logic (also known as First Degree Entailment, or FDE) is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger 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
Missing Values and Indeterminable Values in Fuzzy Relational Compositions
Four-valued logics were developed from three-valued logics aiming at creating tools dealing with missing values and indeterminable values at the same time in computer science. In this pap...
Applied mathematics
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
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 ...
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 125 634