Filtry
A Duality for Distributive Unimodal Logic
BA - Obecná matematika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Advances in Modal Logic, Volume 15
Pure mathematics
- 2024 •
- O •
- Odkaz
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
On lengths of proofs in non-classical logics
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Air Pollution Assessment using Intuitionistic Hierarchical Fuzzy Inference Systems
IN - Informatika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Substructural inquisitive logics
Philosophy, History and Philosophy of science and technology
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Time and Godel: Fuzzy Temporal Reasoning in PSPACE
Pure mathematics
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Substructural logics with a reflexive transitive closure modality
Philosophy, History and Philosophy of science and technology
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
NCMPL 2011. Non-Classical Modal and Predicate Logics
BA - Obecná matematika
- 2011 •
- M
Rok uplatnění
M - Uspořádání konference
Proof complexity of intuitionistic implicational formulas
Pure mathematics
- 2017 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 4 063