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
Ochrana oznamovatelů
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
Docházka
Docházka
Bibliografie
G. Badia
Badia G.
,
Noguera Carles
:
A 0-1 Law in Mathematical Fuzzy Logic
,
IEEE Transactions on Fuzzy Systems vol.30, 9 (2022), p. 3833-3840
[2022]
Download
Download
DOI:
10.1109/TFUZZ.2021.3131200
Badia G.
,
Noguera Carles
:
Saturated models of first-order many-valued logics
,
Logic Journal of the IGPL vol.30, 1 (2022), p. 1-20
[2022]
Download
Download
DOI:
10.1093/jigpal/jzaa027
Badia G.
,
Noguera Carles
:
A general omitting types theorem in mathematical fuzzy logic
,
IEEE Transactions on Fuzzy Systems vol.29, 6 (2021), p. 1386-1394
[2021]
Download
Download
DOI:
10.1109/TFUZZ.2020.2975146
Badia G.
,
Noguera Carles
:
Lindström theorems in graded model theory
,
Annals of Pure and Applied Logic vol.172, 102916
[2021]
Download
Download
DOI:
10.1016/j.apal.2020.102916
07.01.2019 - 08:39