Login / Signup
Additional New Logical Identities Related to Propositional Logic.
Nesreen A. Hamad
Maher Nabulsi
Published in:
ICIT (2021)
Keyphrases
</>
propositional logic
belief revision
first order logic
possibilistic logic
lattice theory
logical theories
quantified boolean formulae
predicate calculus
davis putnam