Login / Signup
Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.
Alexey V. Chernov
Dmitrij P. Skvortsov
Elena Z. Skvortsova
Nikolai K. Vereshchagin
Published in:
CSL (2002)
Keyphrases
</>
propositional formulas
propositional logic
propositional variables
normal form
logic programming
modal logic
computational properties
logic programs
automated reasoning
propositional satisfiability
database
object oriented
abductive reasoning