Unification in some substructural logics of BL-algebras and hoops.
Wojciech DzikPublished in: Reports Math. Log. (2008)
Keyphrases
- propositional calculus
- higher order
- expressive power
- theorem prover
- artificial intelligence
- theorem proving
- modal logic
- first order logic
- fuzzy sets
- description logics
- inference rules
- artificial neural networks
- image segmentation
- classical logic
- conditional logic
- proof theory
- anti unification
- databases
- equational theories