On the complexity of propositional logics with an involutive negation.

Zuzana Haniková

Published in: EUSFLAT Conf. (2003)

Keyphrases

expressive power
horn clauses
logic programming
first order logic
propositional logic
computational complexity
default logic
linearly ordered
deductive databases
classical first order logic
decision problems
inference rules
propositional variables