A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics

Počet záznamů: 1

1.

SYSNO	0428704
Název	A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Zdroj.dok.	Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	GA13-14654S GA ČR - Grantová agentura ČR
	247584, XE - země EU
Institucionální podpora	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Trvalý link	http://hdl.handle.net/11104/0234002

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0428704.pdf	58	992 KB		Autorský preprint	povolen
	a0428704.pdf	10	379.6 KB	UTIA-UI-Hodnocení AV 2020	Vydavatelský postprint	vyžádat

Počet záznamů: 1