Quantified Propositional Gödel Logics.
Matthias BaazAgata CiabattoniRichard ZachPublished in: LPAR (2000)
Keyphrases
- valued logic
- propositional logic
- first order logic
- default logic
- coalition logic
- expressive power
- multi valued
- propositional variables
- classical first order logic
- linearly ordered
- modal logic
- autoepistemic logic
- nonmonotonic logics
- classical logic
- inference rules
- logic programming
- belief revision
- logical framework
- prime implicates
- truth values
- horn logic
- neural network
- computational properties
- social bookmarking
- nonmonotonic reasoning
- proof theory
- theorem proving
- theorem prover
- satisfiability testing