Filters
Paraconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features a...
Pure mathematics
- 2015 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Paraconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features a...
BA - Obecná matematika
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Exploring paraconsistency in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a disci...
BA - Obecná matematika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
On Consistency and Decidability in Some Paraconsistent Arithmetics
in three-valued paraconsistent logics which have strong (i.e. detaching) conditionals. is negation consistent. In a non-paraconsistent setting, this amounts to an assumption that the theory is non-trivial, but these diverg...
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
Relational Semantics for the Paraconsistent and Paracomplete 4-valued Logic PL4
The paraconsistent and paracomplete 4-valued logic PL4 is originally interpreted with a two-valued Belnap-Dunn semantics. In the present paper, PL4 is endowed with both a ternary Routley-Meyer semantics and a binary Routley semantic...
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
Two-Layered Logics for Paraconsistent Probabilities
We discuss two-layered logics formalising reasoning with paraconsistent probabilities that combine the Łukasiewicz [0,1]-valued logic with Baaz Delta operator and the Belnap–Dunn logic. The first logic for...
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
From positive PDL to its non-classical extensions
We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic (PDL). The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two exampl...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Modelling sources of inconsistent information in paraconsistent modal logic
Epistemic logics based on normal modal logic are notoriously bad at handling inconsistent and yet non-trivial information. This fact motivates epistemic logics based on paraconsistent logic, examples of wh...
Pure mathematics
- 2019 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Reasoning with belief functions over Belnap–Dunn logic
to the one presented in [23]. Second, as a two-layered modal logic wherein reasoning with evidence (the outer layer) utilises paraconsistent expansions of Łukasiewicz logicWe design an expansion of Belnap–Dunn 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
Qualitative reasoning in a two-layered framework
the paraconsistent generalisations of the logics for qualitative uncertainty that take, belief functions, and probabilities, within the framework of two-layered logics. Namely, we provide two-layered logics built ...
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
- 1 - 10 out of 9 318