Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World.
Guido FiorinoPublished in: IJCAI (2011)
Keyphrases
- classical logic
- truth values
- valued logic
- automated theorem proving
- logic programming
- theorem proving
- automated reasoning
- modal logic
- theorem prover
- inference rules
- artificial intelligence
- multi valued
- learning algorithm
- computational properties
- predicate logic
- inductive inference
- deontic logic
- social networks
- machine learning
- sound and complete axiomatization