A New Approach to Clausification for Intuitionistic Propositional Logic.
Camillo FiorentiniMauro FerrariPublished in: CILC (2023)
Keyphrases
- propositional logic
- first order logic
- theorem prover
- belief revision
- fuzzy set theory
- quantified boolean formulae
- lattice theory
- classical logic
- fuzzy numbers
- possibilistic logic
- logical framework
- propositional satisfiability
- proof procedure
- natural deduction
- belief change
- davis putnam
- artificial intelligence
- propositional formulas
- theorem proving
- fuzzy sets