Supersound many-valued logics and Dedekind-MacNeille completions.
Matteo BianchiFranco MontagnaPublished in: Arch. Math. Log. (2009)
Keyphrases
- modal logic
- truth values
- temporal logic
- inference rules
- decision procedures
- expressive power
- conditional logic
- nonmonotonic logics
- classical logic
- epistemic logic
- multi valued
- coalition logic
- propositional dynamic logic
- concept lattice
- information retrieval
- fuzzy logic
- proof theory
- query language
- evolutionary algorithm