Počet záznamů: 1

Implicational (semilinear) logics III: completeness properties

SYSNO	0477040
Název	Implicational (semilinear) logics III: completeness properties
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UTIA-B) [MTR]_{RID, ORCID}
Korespondující/senior	Noguera, Carles - Korespondující autor
Zdroj.dok.	Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GA13-14654S GA ČR - Grantová agentura ČR
	689176, XE - země EU
Institucionální podpora	UIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Trvalý link	http://hdl.handle.net/11104/0273436

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	0477040.pdf	9	1.2 MB	GSp	Autorský postprint	povolen

Počet záznamů: 1