Search results
- 1.0405487 - UIVT-O 330864 CZ eng A - Abstract
Klaschka, Jan
On Ordering of Splits and Gray Code (A New Trick and its long History).
First Czech-Catalan Conference in Mathematics. Prague: ITI Charles University, 2005 - (Chudlarský, T.). s. 16-17
[Czech-Catalan Conference in Mathematics /1./. 27.05.2005-28.05.2005, Prague]
Institutional research plan: CEZ:AV0Z10300504
Keywords : Gray code * classification and regression trees
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125649 - 2.0405470 - UIVT-O 330845 CZ eng A - Abstract
Cintula, Petr
Weak Predicate Fuzzy Logics.
First Czech-Catalan Conference in Mathematics. Prague: ITI Charles University, 2005 - (Chudlarský, T.). s. 34
[Czech-Catalan Conference in Mathematics /1./. 27.05.2005-28.05.2005, Prague]
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * predicate logic * consequence relation * matrix semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125633 - 3.0404964 - UIVT-O 20030159 CZ cze A - Abstract
Šíma, Jiří
Počítání pomocí ljapunovských Hopfieldových systémů ve spojitém čase.
[Computing with Liapunov Hopfield Systems in Continuous Time.]
Současné trendy matematické informatiky. Prague: ITI Charles University, 2003 - (Král', D.). s. 32
[Současné trendy teoretické informatiky. 22.05.2003-23.05.2003, Praha]
Institutional research plan: AV0Z1030915
Keywords : continuous-time Hopfield networks * analog computation * Turing universality
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125184 - 4.0404855 - UIVT-O 20020215 CZ eng V - Research Report
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Prague: ITI Charles University, 2001. 19 s. ITI Series, 2001-027.
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * BL-algebras * Lukasiewicz * Gödel * product logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125082 - 5.0404312 - UIVT-O 20010096 CZ eng V - Research Report
Hájek, Petr
A New Small Emendation of Gödel's Ontological Proof.
Prague: ITI Charles University, 2001. 10 s. ITI Series, 2001-015.
Institutional research plan: AV0Z1030915
Keywords : ontological proof * Gödel proof * modal logic * comprehension * positive properties
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124571 - 6.0347339 - ÚI 2011 CZ eng A - Abstract
Petrík, Milan - Sarkoci, P.
Web-Geometric Approach to Continuous Triangular Subnorms.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 149-150
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : associativity * contour * level set * monoidal triangular norm based logic * Reidemeister closure condition * triangular norm * triangular subnorm * web geometry
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188139 - 7.0347338 - ÚI 2011 CZ eng A - Abstract
Horčík, Rostislav
Minimal Varieties of Representable Commutative Residuated Lattices.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 124-127
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : representable commutative residuated lattice * FL-algebra * subvariety lattice * minimal variety
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188138 - 8.0347335 - ÚI 2011 CZ eng A - Abstract
Hájek, Petr
Some Theories over Łukasiewicz Logic.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 111-112
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : Łukasiewicz logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188135File Download Size Commentary Version Access 0347335-h.pdf 2 127.1 KB Publisher’s postprint open-access - 9.0347334 - ÚI 2011 CZ eng A - Abstract
Haniková, Zuzana
On Logics with Truth Constants for Delimiting Idempotents.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 113-117
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : basic fuzzy logic * expansion * propositional * constants
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188134 - 10.0347328 - ÚI 2011 CZ eng A - Abstract
Cintula, Petr - Noguera, C.
Implicational Logics vs. Order Algebraizable Logics.
Logic, Algebra and Truth Degrees 2010. Prague: ITI Charles University, 2010 - (Chvalovský, K.; Cintula, P.; Noguera, C.). s. 72-73
[Logic, Algebra and Truth Degrees 2010. 07.09.2010-11.09.2010, Prague]
R&D Projects: GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : implicational logics * order algebraizable logics * abstract algebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0188130