"0"^^ . . . . . "Matematick\u00E1 fuzzy logika je symbolick\u00E1 (matematick\u00E1) logika se stup\u0148ovit\u00FDm pojmem pravdy,\u00A0kterou je\u00A0t\u0159eba rozli\u0161ovat od fuzzy logiky v \u0161irok\u00E9m smyslu, co\u017E je vysoce aplikovan\u00E1 oblast u\u017E\u00EDvaj\u00EDc\u00ED pojem fuzzy mno\u017Ein. Matematick\u00E1 v\u00FDrokov\u00E1 a predik\u00E1tov\u00E1 logika m\u00E1 p\u0159esn\u00E9 pojmy formul\u00ED, axiom\u016F a d\u016Fkaz\u016F, s\u00E9mantiku (standardn\u00ED, jej\u00ED\u017E mno\u017Einou pravdivostn\u00EDch hodnot je jednotkov\u00FD re\u00E1ln\u00FD interval, a obecnou algebraickou s\u00E9mantiku). Od H\u00E1jkovy monografie z roku 1998 se matematick\u00E1 fuzzy logika intenz\u00EDvn\u011B mezin\u00E1rodn\u011B rozv\u00EDjela a na\u0161e \u010Desk\u00E1 skupina hr\u00E1la v tomto rozvoji velmi d\u016Fle\u017Eitou roli. Nyn\u011Bj\u0161\u00ED projekt bude pokra\u010Dovat v tomto rozvoji a v mezin\u00E1rodn\u00ED spolupr\u00E1ci s d\u016Frazem jak na \u010Dist\u011B teoretick\u00E9 logick\u00E9 studium, tak\u00A0jeho aplikaci v informatice. Budou zejm\u00E9na vy\u0161et\u0159ov\u00E1ny n\u00E1sleduj\u00EDc\u00ED oblasti: teorie d\u016Fkaz\u016F\u00A0 a teorie model\u016F fuzzy logiky, souvislost s jin\u00FDmi logick\u00FDmi syst\u00E9my, v\u00FDpo\u010Detn\u00ED a aritmetick\u00E1 slo\u017Eitost, fuzzy logika v s\u00E9mantick\u00E9m webu (deskrip\u010Dn\u00ED logika) a \u0159ada dal\u0161\u00EDch logik v\u00FDznamn\u00FDch v\u00A0informatice (epistemick\u00E1, deontick\u00E1, dynamick\u00E1, atd.)." . "2014-03-31+02:00"^^ . "0"^^ . "GAP202/10/1826" . "46"^^ . . . . . . "2010-01-01+01:00"^^ . "46"^^ . . "Deferred Final Report"@en . "http://www.isvav.cz/projectDetail.do?rowId=GAP202/10/1826"^^ . . "mathematical fuzzy logic computer science non-classical logics graded notions epistemic logic dynamic logic temporal logic description logic computational complexity arithmetical hierarchy"@en . . . "2016-12-31+01:00"^^ . "Odlo\u017Een\u00E1 z\u00E1v\u011Bre\u010Dn\u00E1 zpr\u00E1va"@cs . "Mathematical Fuzzy Logic in Computer Science"@en . . . "2015-04-23+02:00"^^ . . . "1"^^ . . "Matematick\u00E1 fuzzy logika v informatice" . "Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy logic in broad sense which is a highly applied domain using the notion of fuzzy sets. Mathematical propositional and predicate logics have exact notions of formulas, axioms, proofs, semantics (standard with the real unit interval as the set of\u00A0truth values and general algebraic semantics). Since Hajek's 1998 monograph, mathematical logic has been\u00A0under intensive international development, in which our Czech group has played a very important role. The present project will continue this development and international cooperation, stressing the purely theoretical logical study\u00A0as well as its application\u00A0in computer science. In particular, the following topics will be investigated: proof theory and model theory of fuzzy logic, its relation to other logical systems, computational and arithmetical complexity; fuzzy logic in the semantic web (description logic) and several other logics of importance for computer science (epistemic, deontic, dynamic, etc.)."@en .