Keyphrases
- valued logic
- expressive power
- modal logic
- propositional calculus
- nonmonotonic logics
- first order logic
- propositional logic
- proof theoretic
- classical logic
- social bookmarking
- computational properties
- ordered sets
- sequent calculus
- digital topology
- conditional logic
- decision trees
- automated reasoning
- default logic
- inference rules
- fuzzy sets