Filtry
The Quest for the Basic Fuzzy Logic
BA - Obecná matematika
- 2015 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
Applied mathematics
- 2021 •
- B •
- Odkaz
Rok uplatnění
B - Odborná kniha
Výsledek na webu
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
Pure mathematics
- 2021 •
- B •
- Odkaz
Rok uplatnění
B - Odborná kniha
Výsledek na webu
Herbrand Theorems for Substructural Logics
BA - Obecná matematika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Is multiset consequence trivial?
Pure mathematics
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Interpolation in Linear Logic and Related Systems
Pure mathematics
- 2024 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Disjunction Property and Complexity of Substructural Logics
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
A general framework for logics of questions
Philosophy, History and Philosophy of science and technology
- 2017 •
- D
Rok uplatnění
D - Stať ve sborníku
Algebraic Semantics for One-Variable Lattice-Valued Logics
Pure mathematics
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Skolemization for Substructural Logics
BA - Obecná matematika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 15 837