Filters
Show more
Show more
Show more
Show more
Show more
Show more
Show more
Show more
More filters
Results
Paraconsistency properties in degree-preserving fuzzy logics
have paraconsistency features and study them as logics of formal inconsistency. WeParaconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with g...
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
have paraconsistency features and study them as logics of formal inconsistency. WeParaconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with ...
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
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
Consistency Checking in Requirements Analysis
requirements using a mathematical language of temporal logics, e.g., LTL. The formalisation removes ambiguity and improves understanding. Formal description also enables various model-based techniques, like formal verifica...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Non-Classical Mathematics. Workshop at UNILOG 2013
that is, or can in principle be, formalized in some logic other than classical logic be formalized in a non-classical logic or in an alternative foundational theory over on grounds other than those provid...
BA - Obecná matematika
- 2013 •
- W •
- Link
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Degrees of Inconsistency
of natural numbers were first formulated in a logically inconsistent form. Only after some period of time consistent formalations of these theories were found. The paper analyzes several historical cases of this "initial <...
AA - Filosofie a náboženství
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Constraint Tableaux for Two-Dimensional Fuzzy Logics
We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize reasoning with graded, incomplete and inconsistent information. The logics are interpreted on matrices, where the comm...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Function and Argument in Begriffsschrift
It is well known that the formal system developed by Frege in Begriffsschrift in Begriffsschrift has some gaps, but it is taken as an essentially correct formal system for second-order logic: the first one in the history of...
Philosophy, History and Philosophy of science and technology
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Inconsistencies in Linguistic Descriptions from the Point of View of Fuzzy Logic
An important notion of inconsistency occurring in the theory of IF-THEN rules is discussed. We propose a definition of it in the frame of fuzzy logic deduction and show some properties....
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 19 293