First-order Nilpotent minimum logics: first steps.
Matteo BianchiPublished in: Arch. Math. Log. (2013)
Keyphrases
- conditional logic
- expressive power
- first order logic
- classical first order logic
- higher order
- valued logic
- modal logic
- inference rules
- stochastic dominance
- learning algorithm
- propositional calculus
- classical logic
- spanning tree
- minimum cost
- model checking
- information systems
- propositional dynamic logic
- information retrieval