Number of the records: 1
Complexity of Logics with Involutive Negation
- 1.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
Number of the records: 1