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
A. García-Cerdaña
Dellunde P.
,
García-Cerdaña A.
,
Noguera Carles
:
Back-and-forth systems for fuzzy first-order models
,
Fuzzy Sets and Systems vol.345, 1 (2018), p. 83-98
[2018]
Download
DOI:
10.1016/j.fss.2018.01.016
Dellunde P.
,
García-Cerdaña A.
,
Noguera Carles
:
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
,
Logic Journal of the IGPL vol.24, 3 (2016), p. 321-345
[2016]
Download
DOI:
10.1093/jigpal/jzw009
07.01.2019 - 08:39