Počet záznamů: 1
Fuzzy logics, Proof Theory, and Normal Forms
- 1.0042781 - ÚI 2007 ES eng A - Abstrakt
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]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fragments * fuzzy logic * definable connective * BCK logic * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135941
Počet záznamů: 1