Počet záznamů: 1

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

SYSNO	0488936
Název	Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
Tvůrce(i)	Albuquerque, H. (ES) Font, J.M. (ES) Jansana, R. (ES) Moraschini, Tommaso (UIVT-O)_{SAI, RID}
Zdroj.dok.	Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. S. 53-79. - Cham : Springer, 2018 / Czelakowski J.
ISBN	978-3-319-74771-2
Edice	Outstanding Contributions to Logic
Druh dok.	Část monografie, knihy (kapitola)
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	Abstract algebraic logic * Leibniz hierarchy * Frege hierarchy * truth-equational logics * assertional logics * Fregean logics * full generalized models * unital matrices
URL	https://link.springer.com/book/10.1007/978-3-319-74772-9
Trvalý link	http://hdl.handle.net/11104/0283447

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0488936.pdf	8	251.5 KB		Autorský preprint	vyžádat

Počet záznamů: 1