On Compactness and Consistency in Finite Lattice-Valued Propositional Logic.

Xiaodong Pan Yang Xu Luis Martínez-López Da Ruan Jun Liu

Published in: HAIS (2) (2010)

Keyphrases

propositional logic
belief revision
first order logic
valued logic
quantified boolean formulae
lattice theory
davis putnam
propositional formulas
belief change
possibilistic logic
propositional satisfiability
modal logic
proof procedure
prime implicates