Login / Signup

Additional New Logical Identities Related to Propositional Logic.

Nesreen A. HamadMaher 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