ℹ️
🇬🇧
Search
Search for people relevant for "algebraization"
algebraization
Person
Class
Person
Publication
Programmes
Export current view
doc. Ing. Petr Cintula Ph.D.
External academic staff at Faculty of Arts
1 class
4 publications
Class
class
General Theories of Logical Systems
ALGV00052 |
Faculty of Arts
Publications
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Faculty of Arts
Loading network view...
