Počet záznamů: 1
A new hierarchy of infinitary logics in abstract algebraic logic
- 1.0469118 - ÚTIA 2018 RIV NL eng J - Článek v odborném periodiku
Lávička, Tomáš - Noguera, Carles
A new hierarchy of infinitary logics in abstract algebraic logic.
Studia Logica. Roč. 105, č. 3 (2017), s. 521-551. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985556 ; RVO:67985807
Klíčová slova: Abstract algebraic logic * consequence relations * infinitary logics * completeness properties
Obor OECD: Pure mathematics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
Impakt faktor: 0.450, rok: 2017 ; AIS: 0.331, rok: 2017
Web výsledku:
http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
DOI: https://doi.org/10.1007/s11225-016-9699-3
Trvalý link: http://hdl.handle.net/11104/0269760
Počet záznamů: 1