fCube: An Efficient Prover for Intuitionistic Propositional Logic.
Mauro FerrariCamillo FiorentiniGuido FiorinoPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- propositional logic
- theorem prover
- first order logic
- belief revision
- theorem proving
- lattice theory
- quantified boolean formulae
- propositional satisfiability
- possibilistic logic
- proof procedure
- satisfiability testing
- automated reasoning
- valued logic
- classical logic
- knowledge representation
- artificial intelligence
- horn contraction
- propositional formulas
- fuzzy set theory
- constraint satisfaction
- expert systems