Propositional Logic Programming and Type Thoeries.

Published in: SCAI (1989)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
possibilistic logic
quantified boolean formulae
programming language
belief change
proof procedure
satisfiability testing
horn logic
np hard
valued logic