Forward refutation for Gödel-Dummett Logics.
Camillo FiorentiniMauro FerrariPublished in: CILC (2022)
Keyphrases
- classical logic
- valued logic
- modal logic
- theorem prover
- inference rules
- theorem proving
- expressive power
- forward and backward
- bi directional
- inductive inference
- propositional calculus
- fuzzy sets
- conditional logic
- social bookmarking
- automated theorem proving
- multi agent systems
- intuitionistic logic
- data sets
- propositional dynamic logic
- nonmonotonic logics
- decision procedures
- propositional logic
- fuzzy logic
- image sequences
- website
- genetic algorithm