Basic propositional logic and the weak excluded middle.

Majid Alizadeh Mohammad Ardeshir

Published in: Log. J. IGPL (2019)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
lattice theory
quantified boolean formulae
satisfiability testing
proof procedure
valued logic
machine learning
orders of magnitude
constraint satisfaction
solving hard
davis putnam