Počet záznamů: 1
The Semantic Isomorphism Theorem in Abstract Algebraic Logic
- 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