General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus

0405532 - UIVT-O 330910 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
[Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0545
Klíčová slova: fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Kód oboru RIV: BA - Obecná matematika

Citováno: 3

--- KROUPA, T. Filters in fuzzy class theory. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUL 16 2008, vol. 159, no. 14, p. 1773-1787. [WOS]
--- Novák V.: What is fuzzy logic? (editorial). FSS 157 (2006) 595–596.
--- LAHAV, O. - AVRON, A. A cut-free calculus for second-order Godel logic. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 1 2015, vol. 276, p. 1-30. [WOS]

Trvalý link: http://hdl.handle.net/11104/0125690