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)
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)
On White?s Expansion of Lukasiewicz Logic
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Mathematical Principles of Fuzzy Logic
BA - Obecná matematika
- 2006 •
- B
Rok uplatnění
B - Odborná kniha
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
Some (Non)Tautologies of Lukasiewicz and Product Logic
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Algebra a praxe: cesta k Lukasiewiczově algebře
JD - Využití počítačů, robotika a její aplikace
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Mathematical Logic in the History of Logic
Philosophy, History and Philosophy of science and technology
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 4 066