Isomorphic formulae in classical propositional logic.

Kosta Dosen Zoran Petric

Published in: Math. Log. Q. (2012)

Keyphrases

propositional logic
valued logic
quantified boolean formulae
horn logic
first order logic
belief revision
possibilistic logic
davis putnam
lattice theory
belief change
knowledge base
query language
horn contraction