Výsledky vyhledávání
- 1.0405291 - UIVT-O 330612 RIV DE eng J - Článek v odborném periodiku
Aguzzoli, S. - Gerla, B. - Haniková, Zuzana
Complexity Issues in Basic Logic.
[Logika BL z hlediska výpočetní složitosti.]
Soft Computing. Roč. 9, - (2005), s. 919-934. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basic fuzzy logic (BL) * computational complexity * functional representation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.538, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125472 - 2.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 - 3.0404517 - UIVT-O 20030005 RIV BR eng J - Článek v odborném periodiku
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Matemática Contemporanea. Roč. 24, - (2003), s. 71-89. ISSN 0103-9059.
[WOLLIC'2001. Brasília, 31.07.2001-03.08.2001]
Grant CEP: GA MŠMT LN00A056
Klíčová slova: fuzzy logic * many valued logic * basic fuzzy logic BL
Kód oboru RIV: BA - Obecná matematika
http://www.mat.unb.br/~matcont/24_4.pdf
Trvalý link: http://hdl.handle.net/11104/0124766Název souboru Staženo Velikost Komentář Verze Přístup 404517-h.pdf 6 253.7 KB Vydavatelský postprint vyžádat - 4.0373822 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana
Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters.
Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 95-107. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematics * non-classical logics * algebra * basic fuzzy logic BL * propositional constants
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.749, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0206886Název souboru Staženo Velikost Komentář Verze Přístup 0373822.pdf 0 711.8 KB Autorský preprint povolen - 5.0370261 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Chvalovský, Karel
On the independence of axioms in BL and MTL.
Fuzzy Sets and Systems. Roč. 197, 16 June (2012), s. 123-129. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant ostatní: GA UK(CZ) 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.749, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0204111Název souboru Staženo Velikost Komentář Verze Přístup 0370261.pdf 0 582.8 KB Autorský preprint povolen - 6.0079129 - ÚI 2008 RIV NL eng J - Článek v odborném periodiku
Horčík, Rostislav
On the Failure of Standard Completeness in PiMTL for Infinite Theories.
[PiMTL nemá silnou standardní úplnost pro nekonečné teorie.]
Fuzzy Sets and Systems. Roč. 158, č. 6 (2007), s. 619-624. ISSN 0165-0114. E-ISSN 1872-6801
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: strong standard completeness * monoidal t-norm based logic (MTL) * basic fuzzy logic (BL) * product logic * Lukasiewicz logic * PiMTL * IMTL
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.373, rok: 2007
Trvalý link: http://hdl.handle.net/11104/0144000Název souboru Staženo Velikost Komentář Verze Přístup 0079129.pdf 1 270.6 KB Autorský preprint povolen