Filtry
Structural Completeness and Superintuitionistic Inquisitive Logics
Philosophy, History and Philosophy of science and technology
- 2023 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Admissible Rules in the Implication?Negation Fragment of Intuitionistic Logic
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Structural Completeness in Fuzzy Logics
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Singly Generated Quasivarieties and Residuated Structures
Pure mathematics
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Structural Completeness in Many-Valued Logics with Rational Constants
Pure mathematics
- 2022 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Varieties of positive modal algebras and structural completeness
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
UNCONDITIONAL STRUCTURES OF TRANSLATES FOR L-p(R-d)
BA - Obecná matematika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Implicational (semilinear) logics III: completeness properties
Pure mathematics
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Switching to Hedgehog-Free Graphs is NP-Complete
BA - Obecná matematika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On the complexity of circuit satisfiability
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 5 052