Search results
- 1.0404720 - UIVT-O 20020068 CZ eng K - Conference Paper (Czech conference)
Haniková, Zuzana
Complexity of the Propositional Tautology Problem for t-norm Logics.
Doktorandský den '02. Praha: Ústav informatiky AV ČR, 2002 - (Hakl, F.), s. 43-48. Technical Report, V-880.
[Doktorandský den '02. Praha (CZ), 17.10.2002]
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : complexity * propositional calculus * t-norm logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124958File Download Size Commentary Version Access 0404720.pdf 12 585.2 KB Publisher’s postprint open-access - 2.0404409 - UIVT-O 20010127 CZ eng K - Conference Paper (Czech conference)
Haniková, Zuzana
An Interpretation of ZF in a Fuzzy Set Theory.
Doktorandský den '01. Praha: Ústav informatiky AV ČR, 2001 - (Hakl, F.), s. 61-65. Technical Report, V-846.
[Doktorandský den '01. Praha (CZ), 25.10.2001]
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124663 - 3.0404098 - UIVT-O 20000214 CZ cze K - Conference Paper (Czech conference)
Haniková, Zuzana
Teorie množin ve vícehodnotové logice.
[Set Theory in Many-Valued Logic.]
Doktorandský den '00. Sborník příspěvků. Praha: Ústav informatiky AV ČR, 2000 - (Hakl, F.), s. 27-31. Technical Report, V-819.
[Doktorandský den '00. Praha (CZ), 22.11.2000]
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124369 - 4.0103377 - UIVT-O 20040118 CZ cze K - Conference Paper (Czech conference)
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]
Institutional research plan: CEZ:AV0Z1030915
Keywords : t-norm logic * SBL * involutive negation * coNP-complete
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010686