On the scope of the completeness theorem for first-order predicate logic

Počet záznamů: 1

1.

SYSNO	0391878
Název	On the scope of the completeness theorem for first-order predicate logic
Aut.údaje	aut. Petr Cintula, Carles Noguera
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UIVT-O)_{RID, ORCID}
Zdroj.dok.	UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. S. 223-223. - Rio de Janeiro : ECEME - Escola de Comando e Estado-Maior do Exército, 2013 / Béziau J.Y. ; Buchsbaum A. ; Costa-Leite A. ; Altair A.
Konference	UniLog 2013. World Congress and School on Universal Logic /4./, Rio de Janeiro, 29.03.2013-07.04.2013
Druh dok.	Abstrakt
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	PT
Klíč.slova	abstract algebraic logic * firts-order logics * Henkin theories * completeness theorem
Trvalý link	http://hdl.handle.net/11104/0220852

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0391878.pdf	0	397.9 KB		Vydavatelský postprint	povolen

Počet záznamů: 1