Number of the records: 1
On the Complexity of Propositional Logics with an Involutive Negation
- 1.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
Let C be the propositional calculus given by a standard SBL-algebra; C~ is obtained from C by adding an involutive negation with axioms and deduction rules. Then C~ is coNP-complete.
Permanent Link: http://hdl.handle.net/11104/0125315
Number of the records: 1