Finite Nest Structures and Propositional Logic.

Raymond M. Smullyan

Published in: J. Symb. Log. (1966)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
lattice theory
valued logic
quantified boolean formulae
knowledge base
satisfiability testing
propositional satisfiability
proof procedure
machine learning
logic programs
logic programming
belief change
propositional formulas