On the linear Lindenbaum algebra of Basic Propositional Logic.

Majid Alizadeh Mohammad Ardeshir

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

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
quantified boolean formulae
relational algebra
lattice theory
davis putnam
data model
valued logic
satisfiability testing
natural language
np hard
constraint satisfaction problems
relational model
belief change