Informational interpretation of substructural propositional logics.
Heinrich WansingPublished in: J. Log. Lang. Inf. (1993)
Keyphrases
- propositional calculus
- propositional logic
- default logic
- first order logic
- expressive power
- image interpretation
- coalition logic
- nonmonotonic logics
- inference rules
- classical first order logic
- linearly ordered
- modal logic
- propositional variables
- high level
- probabilistic logic
- horn logic
- autoepistemic logic
- semantic interpretation
- multi valued
- data sets
- default reasoning
- sound and complete axiomatization