Počet záznamů: 1
A new hierarchy of infinitary logics in abstract algebraic logic
- 1.
SYSNO 0469118 Název A new hierarchy of infinitary logics in abstract algebraic logic Tvůrce(i) Lávička, Tomáš (UIVT-O)
Noguera, Carles (UTIA-B) [MTR] RID, ORCIDKorespondující/senior Noguera, Carles - Korespondující autor Zdroj.dok. Studia Logica. Roč. 105, č. 3 (2017), s. 521-551. - : Springer Druh dok. Článek v odborném periodiku Grant GA13-14654S GA ČR - Grantová agentura ČR 689176, XE - země EU Institucionální podpora UTIA-B - RVO:67985556 ; UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. NL Klíč.slova Abstract algebraic logic * consequence relations * infinitary logics * completeness properties URL http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf Trvalý link http://hdl.handle.net/11104/0269760
Počet záznamů: 1