Sciweavers

21984 search results - page 228 / 4397
» C
Sort
View
EUSFLAT
2003
126views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
On the complexity of propositional logics with an involutive negation
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 as in [4]. Then C  i...
Zuzana Haniková