Filtry
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
Genzen-like Proofs in Description Logic DL1
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Transformation in the Context of Neural Networks
Pure mathematics
- 2017 •
- D
Rok uplatnění
D - Stať ve sborníku
On Language Levels of a Theory
AA - Filosofie a náboženství
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Tichý?s Two-Dimensional Conception of Inference
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Proof systems for Moss' coalgebraic logic
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Where is the Gödel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals
AA - Filosofie a náboženství
- 2014 •
- B •
- Odkaz
Rok uplatnění
B - Odborná kniha
Výsledek na webu
The logic of orthomodular posets of finite height
Pure mathematics
- 2022 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 164 239