Vytisknout
0459809 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Přenosil, Adam
Constructing Natural Extensions of Propositional Logics.
Studia Logica. Roč. 104, č. 6 (2016), s. 1179-1190. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * consequence relations * propositional logic * natural extensions * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.589, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0259968
Přenosil, Adam
Constructing Natural Extensions of Propositional Logics.
Studia Logica. Roč. 104, č. 6 (2016), s. 1179-1190. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * consequence relations * propositional logic * natural extensions * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.589, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0259968