Non-commutative propositional logic with short-circuited biconditional and NAND.

Dalia Papuc Alban Ponse

Published in: CoRR (2022)

Keyphrases

propositional logic
belief revision
first order logic
lattice theory
quantified boolean formulae
horn logic
belief change
possibilistic logic
propositional satisfiability
artificial intelligence
solving hard
satisfiability testing
machine learning
knowledge base
proof procedure
truth maintenance systems