Počet záznamů: 1
The hierarchy of implicational and order algebraizable logics
- 1.0369932 - ÚI 2012 PL eng A - Abstrakt
Noguera, C. - Cintula, Petr
The hierarchy of implicational and order algebraizable logics.
OAL 2011 Abstracts of Talks. Kraków, 2011. s. 21-22.
[OAL 2011. International Conference on Order, Algebra and Logics /2./. 06.06.2011-10.06.2011, Kraków]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: abstract algebraic logic * consequence relations * order-algebraizable logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203877
Počet záznamů: 1