Filtry
Lukasiewiczova logika a logické paradoxy
Je dán popis vícehodnotové Lukasiewiczovy logiky a její význam pro modální logiku. Ukazuje se, že některé logické paradoxy klasické logiky jsou snadno vysvětlitelné v Lukasiewiczově logice....
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Modal extensions of Lukasiewicz logic for modelling coalitional power
Pure mathematics
- 2017 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On Lukasiewicz's Four-Valued Modal Logic.
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Reasoning with belief functions over Belnap–Dunn logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Translating Classical Probability Logics into Modal Fuzzy Logics
Pure mathematics
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
Applied mathematics
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Polish Roots of Meredith’s System of Modal Logic
Philosophy, History and Philosophy of science and technology
- 2020 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
The LPi and LPi/2 Propositional and Predicate Logics.
BA - Obecná matematika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Advances in the LPi and LPi1/2 Logics.
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Problémy složitosti v axiomatických rozšířeních Lukasiewiczovy logiky
V tomto článku určíme jak výpočtovou složitost všech axiomatických rozšíření výrokové Lukasiewiczovy logiky tak i aritmetickou složitost obecné a standardní semantiky příslušných predikátových logik....
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 5 191