Number of the records: 1
The hierarchy of implicational and order algebraizable logics
- 1.0369932 - ÚI 2012 PL eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * consequence relations * order-algebraizable logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0203877
Number of the records: 1