Number of the records: 1

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

SYSNO	0428704
Title	A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics
Author(s)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Source Title	Journal of Symbolic Logic. Roč. 80, č. 1 (2015), s. 341-358. - : Cambridge University Press
Document Type	Článek v odborném periodiku
Grant	GA13-14654S GA ČR - Czech Science Foundation (CSF)
	247584, XE - EU countries
Institutional support	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
Language	eng
Country	US
Keywords	abstract algebraic logics * algebraizable logics * first-order logics * completeness theorem * Henkin theories
Permanent Link	http://hdl.handle.net/11104/0234002

	File	Download	Size	Commentary	Version	Access
	0428704.pdf	55	992 KB		Author´s preprint	open-access
	a0428704.pdf	10	379.6 KB	UTIA-UI-Hodnocení AV 2020	Publisher’s postprint	require

Number of the records: 1