Search results
- 1.0405291 - UIVT-O 330612 RIV DE eng J - Journal Article
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
R&D Projects: GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z10300504
Keywords : basic fuzzy logic (BL) * computational complexity * functional representation
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125472 - 2.0405112 - UIVT-O 20030088 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : basic fuzzy logic (BL) * strict basic fuzzy logic (SBL) * involutive negation * ~-standard completness * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125315 - 3.0404517 - UIVT-O 20030005 RIV BR eng J - Journal Article
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]
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * many valued logic * basic fuzzy logic BL
Subject RIV: BA - General Mathematics
http://www.mat.unb.br/~matcont/24_4.pdf
Permanent Link: http://hdl.handle.net/11104/0124766File Download Size Commentary Version Access 404517-h.pdf 6 253.7 KB Publisher’s postprint require - 4.0373822 - ÚI 2013 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematics * non-classical logics * algebra * basic fuzzy logic BL * propositional constants
Subject RIV: BA - General Mathematics
Impact factor: 1.749, year: 2012
Permanent Link: http://hdl.handle.net/11104/0206886File Download Size Commentary Version Access 0373822.pdf 0 711.8 KB Author´s preprint open-access - 5.0370261 - ÚI 2013 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GEICC/08/E018; GA ČR GD401/09/H007
Grant - others:GA UK(CZ) 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logics * basic fuzzy logic (BL) * monoidal t-norm based logic (MTL) * Hilbert-style calculi * independence of axioms
Subject RIV: BA - General Mathematics
Impact factor: 1.749, year: 2012
Permanent Link: http://hdl.handle.net/11104/0204111File Download Size Commentary Version Access 0370261.pdf 0 582.8 KB Author´s preprint open-access - 6.0079129 - ÚI 2008 RIV NL eng J - Journal Article
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
Source of funding: V - Other public resources
Keywords : strong standard completeness * monoidal t-norm based logic (MTL) * basic fuzzy logic (BL) * product logic * Lukasiewicz logic * PiMTL * IMTL
Subject RIV: BA - General Mathematics
Impact factor: 1.373, year: 2007
Permanent Link: http://hdl.handle.net/11104/0144000File Download Size Commentary Version Access 0079129.pdf 1 270.6 KB Author´s preprint open-access