Filters
Lukasiewicz logics and logical paradoxes
The description od many-valued Lukasiewicz logic is presented. It is shown its importance for modal logics. We show that some logical paradoxes of classical logic can be solvable in the Lukasiewicz
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On White?s Expansion of Lukasiewicz Logic
A variant of Lukasiewicz logic defined in a remark in White's 1979 paper on the consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz is studied; it is shown that the l...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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, and som...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Belief Functions on Formulas in Lukasiewicz Logic
Belief functions are generalized to formulas in Lukasiewicz logic. It is shown that they generalize probabilities on formulas (so-called states) and that they are completely monotone mappings with respect to the lattice operations....
BA - Obecná matematika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
In this article, the computational complexity of all axiomatic extensions of Lukasiewicz propositional logic L and the arithmetical complexity of both the general and standard semantics of their corresponding predicate logics
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Admissible Rules of Lukasiewicz Logic
We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV-a...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
States in Lukasiewicz logic correspond to probabilities of rational polyhedra
It will be shown that probabilities of infinite-valued events represented by formulas in Lukasiewicz propositional logic are in one-to-one correspondence with tight probability measures over rational polyhedra in the unit hypercube....
BA - Obecná matematika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Some (Non)Tautologies of Lukasiewicz and Product Logic
The paper presents a particular example of a formula which is a standard tautology of Lukasiewicz but not its general tautology; an example of a model in which the formula is not true is explicitly constructed. Analogous example of a formula...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Selection and correction of weighted rules based on Lukasiewicz's fuzzy logic with evaluated syntax
Main topics of the document: uncertain knowledge; fuzzy implication; rule base; Lukasiewicz's fuzzy logic with evaluated syntax; composition function......
Applied mathematics
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Complexity of Fuzzy Probability Logic.
The satisfability problem for the logic FP(L) (fuzzy probability logic over Lukasiewicz logic) is shown to be NP-complete; satisfability in FP(LP) (the same over the logic joining Lukasiewicz and ...
BA - Obecná matematika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 9 377