A Correspondence Between Variable Relations And Three-Valued Propositional Logic.
Mark LeveneGeorge LoizouPublished in: Int. J. Comput. Math. (1995)
Keyphrases
- propositional logic
- nonmonotonic logics
- belief revision
- first order logic
- possibilistic logic
- semantic relations
- davis putnam
- lattice theory
- inference rules
- quantified boolean formulae
- horn logic
- logical theories
- belief change
- propositional satisfiability
- horn contraction
- artificial intelligence
- proof procedure
- truth values
- relational data model
- horn clauses
- logic programs
- expert systems