Výsledky vyhledávání
- 1.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
Trvalý link: http://hdl.handle.net/11104/0125690Název souboru Staženo Velikost Komentář Verze Přístup 0405532.pdf 0 576.3 KB Autorský preprint povolen - 2.0405425 - UIVT-O 330797 SK eng A - Abstrakt
Cintula, Petr - Běhounek, Libor
Formal Theories of Mathematical Structures with Vagueness.
Mathematics, Geometry and their Applications. Bratislava: STU Publishing House, 2004 - (Mesiar, E.; Saminger, S.; Ipolyiová, M.; Struk, P.). s. 7-10. ISBN 80-227-2165-4.
[MAGIA UWPM. 15.10.2004-17.10.2004, Kočovice SK, Weyereng am Attersee]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125593 - 3.0405335 - UIVT-O 330707 SK eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav
Logics between Lukasiewicz and LPi.
International Conference in Applied Mathematics for Undergraduate and Graduate Students. Bratislava: Slovak University of Technology, 2003. s. 7-8.
[ISCAM 2003. 11.04.2003-12.04.2003, Bratislava]
Grant CEP: GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) CTU0208613; Net CEEPUS(CZ) SK-042
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lu logic * LPi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125508 - 4.0405322 - UIVT-O 330693 AT eng A - Abstrakt
Bodenhofer, U. - Běhounek, Libor - Cintula, Petr
Relations in Higher-order Fuzzy Logic III.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 20-22
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502; GA ČR GD401/03/H047
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125495 - 5.0405314 - UIVT-O 330685 AT eng A - Abstrakt
Běhounek, Libor - Cintula, Petr
Relations in Higher-Order Fuzzy Logic I,II.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 10-15
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125487 - 6.0405252 - UIVT-O 330486 RIV NL eng J - Článek v odborném periodiku
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory.
[Teorie fuzzy tříd.]
Fuzzy Sets and Systems. Roč. 154, - (2005), s. 34-55. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA1030004; GA MŠMT OC 274.001
Grant ostatní: COST(EU) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy logic * fuzzy set * foundations of fuzzy mathematics * LPi logic * higher-order fuzzy logic * fuzzy type theory * multi-sorted fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125435Název souboru Staženo Velikost Komentář Verze Přístup 0405252.pdf 10 742.7 KB Autorský preprint povolen - 7.0405128 - UIVT-O 20030093 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Cintula, Petr - Horčík, Rostislav
Product Lukasiewicz Logic - An Overwiev.
Doktorandský den '03. Praha: MATFYZPRESS, 2003 - (Hakl, F.), s. 21-23. ISBN 80-86732-16-9.
[Doktorandský den '03. Paseky nad Jizerou (CZ), 25.09.2003-26.09.2003]
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125330Název souboru Staženo Velikost Komentář Verze Přístup 0405128.pdf 1 519.4 KB Vydavatelský postprint povolen - 8.0405046 - UIVT-O 20030187 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, R. - Cintula, Petr
Extension of Lukasiewicz Logic by Product Connective.
Fuzzy Sets and Systems - IFSA 2003. Berlin: SpringerVerlag, 2003 - (Bilgic, T.; De Baets, B.; Kaynak, O.), s. 180-188. Lecture Notes in Artificial Intelligence, 2715. ISBN 3-540-40383-3. ISSN 0302-9743.
[IFSA 2003. International Fuzzy Systems Association World Congress /10./. Istanbul (TR), 30.06.2003-02.07.2003]
Grant CEP: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125266Název souboru Staženo Velikost Komentář Verze Přístup 0405046.pdf 0 769.1 KB Autorský preprint povolen - 9.0105219 - UIVT-O 20040210 RIV DE eng J - Článek v odborném periodiku
Horčík, Rostislav - Cintula, Petr
Product Lukasiewicz Logic.
[Produkt-Lukasiewiczova logika.]
Archive for Mathematical Logic. Roč. 43, - (2004), s. 477-503. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0012466Název souboru Staženo Velikost Komentář Verze Přístup 0105219.pdf 9 603.7 KB Autorský preprint povolen - 10.0026349 - ÚTIA 2006 RIV TH eng C - Konferenční příspěvek (zahraniční konf.)
Novák, Vilém
Fuzzy type theory as higher order fuzzy logic.
[Teorie fuzzy typů jako fuzzy logika vyššího řádu.]
Proceedings ot fhe 6th International Conference on Inteligent Technologies. Bangkok: Assumption University of Bangkok, 2005, s. 21-26. ISBN 974-615-226-2.
[InTech'05 /6./. Phuket (TH), 14.12.2005-16.12.2005]
Grant CEP: GA ČR(CZ) GA201/04/1033
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: fuzzy type theory * fuzzy logic * LPi-logic * Lukasiewicz logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0116614