Basket

0042781 - ÚI 2007 ES eng A - Abstract
Cintula, Petr - Metcalfe, G.
Fuzzy logics, Proof Theory, and Normal Forms.
Second Czech-Catalan Conference in Mathematics. Barcelona: Catalan Mathematical Society, 2006. s. 21-22.
[Czech-Catalan Conference in Mathematics /2./. 21.09.2006-23.09.2006, Barcelona]
Institutional research plan: CEZ:AV0Z10300504
Keywords : fragments * fuzzy logic * definable connective * BCK logic * MTL-algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135941