A DPLL Procedure for the Propositional Gödel Logic.
Dusan GullerPublished in: IJCCI (ICFC-ICNC) (2010)
Keyphrases
- proof procedure
- propositional logic
- theorem proving
- first order logic
- predicate calculus
- valued logic
- davis putnam
- propositional satisfiability
- sound and complete axiomatization
- automated reasoning
- model theoretic
- multi valued
- clause learning
- knowledge base
- theorem prover
- inference rules
- belief revision
- knowledge representation
- sat solvers
- minimal models
- propositional variables