Výsledky vyhledávání
- 1.0478211 - ÚI 2018 GB eng J - Článek v odborném periodiku
Vidal, Amanda - Esteva, F. - Godo, L.
On modal extensions of Product fuzzy logic.
Journal of Logic and Computation. Roč. 27, č. 1 (2017), s. 299-336. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: involutive negation * possibilistic logic * truth * Product fuzzy logic * modal fuzzy logics * strong standard completeness * rational truth-constants * infinitary rule
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0274747 - 2.0405635 - UIVT-O 336017 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Klement, E.P. - Mesiar, R. - Navara, M.
Residuated Logics based on Strict Triangular Norms with an Involutive Negation.
[Residuované logiky spojitých t-norem s involutivní negací.]
Mathematical Logic Quarterly. Roč. 52, č. 3 (2006), s. 269-282. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT 1M0545
Grant ostatní: Grantová agentura SR(SK) VEGA 1/3006/06; COSPAL(EU) IST-2004-71567
Klíčová slova: fuzzy logic * involutive negation * BL-algebra * variety * triangular norm * hamacher product
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.629, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0125778Název souboru Staženo Velikost Komentář Verze Přístup a0405635post.pdf 0 171 KB Autorský postprint povolen - 3.0405323 - UIVT-O 330694 AT eng A - Abstrakt
Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
On the Special Role of the Hamacher Product in Fuzzy Logics.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 34-37
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
Grant CEP: GA MŠMT OC 274.001; GA ČR GA201/02/1504; GA MŠMT 1M0545
Grant ostatní: COST(EU) Action 274 TARSKI; VEGA(SK) 1/0273/03; CEEPUS(SK) SK-042
Klíčová slova: fuzzy logic * involutive negation * Hamacher product * t-norms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125496 - 4.0405112 - UIVT-O 20030088 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana
On the Complexity of Propositional Logics with an Involutive Negation.
Fuzzy logic and Technology. Zittau: EUSFLAT, 2003 - (Wagenknecht, M.; Hampel, R.), s. 636-639. ISBN 3-9808089-4-7.
[EUSFLAT 2003. An International Conference in Fuzzy Logic and Technology. Zittau (DE), 10.09.2003-12.09.2003]
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: basic fuzzy logic (BL) * strict basic fuzzy logic (SBL) * involutive negation * ~-standard completness * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125315 - 5.0328436 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Klement, E.P. - Mesiar, R. - Navara, M.
Fuzzy Logics with an Additional Involutive Negation.
[Fuzzy logiky s přidanou involutivní negací.]
Fuzzy Sets and Systems. Roč. 161, č. 3 (2010), s. 390-411. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR KJB100300502; GA MŠMT(CZ) 1M0545
Grant ostatní: Grantová agentura SR(SK) VEGA1/4209/07
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: triangular norm * triangular conorm * involutive negation * mathematical fuzzy logic * lattice of varieties * compactness * computational complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.875, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0174751Název souboru Staženo Velikost Komentář Verze Přístup 0328436.pdf 11 779 KB Autorský preprint povolen - 6.0313643 - ÚI 2009 RIV DE eng J - Článek v odborném periodiku
Haniková, Zuzana - Savický, Petr
Distinguishing Standard SBL-algebras with Involutive Negations by Propositional Formulas.
[Odlišování standardních SBL-algeber s involutivními negacemi pomocí výrokových formulí.]
Mathematical Logic Quarterly. Roč. 54, č. 6 (2008), s. 579-596. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * strict basic logic * continuous t-norm * standard SBL-algebra * involutive negation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.459, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0164394Název souboru Staženo Velikost Komentář Verze Přístup 0313643.pdf 0 731.7 KB Autorský preprint povolen - 7.0310823 - ÚI 2009 CH eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
On Standard SBL-Algebras with Aadded Involutive Negations.
Logic Colloquium 2008. Bern: University of Bern, 2008. s. 31-32.
[Logic Colloquium 2008. 03.07.2008-08.07.2008, Bern]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: propositional logic * involutive negation * standard BL-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0162582 - 8.0103377 - UIVT-O 20040118 CZ cze K - Konferenční příspěvek (tuzemská konf.)
Haniková, Zuzana
Complexity of Logics with Involutive Negation.
Doktorandský den '03. Praha: MATFYZPRESS, 2003 - (Hakl, F.), s. 161-163. ISBN 80-86732-16-9.
[Doktorandský den '03. Paseky nad Jizerou (CZ), 25.09.2003-26.09.2003]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: t-norm logic * SBL * involutive negation * coNP-complete
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010686 - 9.0040898 - ÚI 2007 IT eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
Standard Product Algebra with Involutive Negation.
Ordered Structures in Many Valued Logics. Salerno: Universita di Salerno, 2006. s. 12-12.
[Ordered Structures in Many Valued Logics. International Symposium. 28.05.2006-01.06.2006, Massa Lubrense]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: product t-norm * involutive negation * propositional logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0134520 - 10.0031918 - UIVT-O 336143 SK eng A - Abstrakt
Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
Varieties of Algebras Based on Strict t-norms and Involutive Negations.
Eight International Conference on Fuzzy Sets Theory and Applications. Liptovský Mikuláš: Academy of Armed Forces of General M.R.Štefánik, 2006 - (Klement, P.; Mesiar, R.; Drobná, E.; Chovanec, F.). s. 8-9. ISBN 80-8040-284-1.
[FSTA 2006 /8./. 30.01.2006-03.02.2006, Liptovský Ján]
Grant CEP: GA MŠMT(CZ) 1M0545
Grant ostatní: Grantová agentura SR(SK) VEGA 1/3006/06
Výzkumný záměr: CEZ:MSM6198898701
Klíčová slova: strict t-norms * involutive negation * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0132546