Přejít k hlavnímu obsahu
Czech
English
Ústav teorie informace a automatizace
Jste zde
Domů
Vyhledávání
Hledat
O ústavu
Domů
Výzkum
Výuka
Lidé
Struktura
Časopis Kybernetika
GDPR info
GEP info
Život ústavu
Informace
Návody
Aktivity
Semináře
Knihovna
Výpočetní středisko
Intranet
Přihlášení
Přístup k mailu
Covid - evidence testů
Lemon
Rezervace tělocvičny
Poštovní konference
Rezervace poslucháren
Bibliografie
Tomáš Lávička
Lávička Tomáš
,
Noguera Carles
:
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
,
Studia Logica vol.106, 6 (2018), p. 1065-1095
[2018]
Download
DOI:
10.1007/s11225-017-9771-7
Bílková Marta
,
Cintula Petr
,
Lávička Tomáš
:
Lindenbaum and Pair Extension Lemma in Infinitary Logics
,
Logic, Language, Information and Computation, p. 130-144 , Eds: Moss L. S., de Queiroz R., Martinez M.
,
WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./, (Bogotá, CO, 20180724)
[2018]
DOI:
10.1007/978-3-662-57669-4_7
Bílková Marta
,
Cintula Petr
,
Haniková Zuzana
,
Horčík R.
,
Kroupa T.
,
Lávička Tomáš
,
Majer Ondrej
,
Moraschini Tommaso
,
Noguera Carles
,
Přenosil Adam
,
Sedlár Igor
,
Vidal Amanda
:
TACL 2017: Topology, Algebra and Categories in Logic
,
(Prague, CZ, 20170626)
[2017]
Download
Lávička Tomáš
,
Přenosil Adam
:
Protonegationality and inconsistency lemmas: part II
,
ManyVal 2017. Booklet of Abstracts, p. 58-60
,
ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
[2017]
Lávička Tomáš
,
Přenosil Adam
:
Protonegationality and inconsistency lemmas: part I
,
ManyVal 2017. Booklet of Abstracts, p. 55-57
,
ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)
[2017]
Lávička Tomáš
,
Přenosil Adam
:
Towards completeness of some lattice-valued modal logics
,
ISRALOG'17 Abstract Booklet, p. 104-107
,
ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017)
[2017]
Bílková Marta
,
Cintula Petr
,
Lávička Tomáš
:
Lindenbaum-style proof of completeness for infinitary logics
,
ISRALOG'17 Abstract Booklet, p. 28-31
,
ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./, (Haifa, IL, 15.10.2017-17.10.2017)
[2017]
07.01.2019 - 08:39