Number of the records: 1

Implicational (semilinear) logics III: completeness properties

SYSNO	0477040
Title	Implicational (semilinear) logics III: completeness properties
Author(s)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Corespondence/senior	Noguera, Carles - Korespondující autor
Source Title	Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. - : Springer
Document Type	Článek v odborném periodiku
Grant	GA13-14654S GA ČR - Czech Science Foundation (CSF)
	689176, XE - EU countries
Institutional support	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
Language	eng
Country	DE
Keywords	abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Permanent Link	http://hdl.handle.net/11104/0273436

	File	Download	Size	Commentary	Version	Access
	0477040.pdf	9	1.2 MB	GSp	Author’s postprint	open-access

Number of the records: 1