The Semantic Isomorphism Theorem in Abstract Algebraic Logic

Počet záznamů: 1

1.

SYSNO	0465843
Název	The Semantic Isomorphism Theorem in Abstract Algebraic Logic
Tvůrce(i)	Moraschini, Tommaso (UIVT-O)_{SAI, RID}
Zdroj.dok.	Annals of Pure and Applied Logic. Roč. 167, č. 12 (2016), s. 1298-1331. - : Elsevier
Druh dok.	Článek v odborném periodiku
Grant	GA13-14654S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	algebraizable logics * abstract algebraic logic * structural closure operators * semantic isomorphism theorem * evaluational frames * compositional lattice
Trvalý link	http://hdl.handle.net/11104/0264288

Počet záznamů: 1