Unification in superintuitionistic Predicate Logics and its Applications.
Wojciech DzikPiotr WojtylakPublished in: Rev. Symb. Log. (2019)
Keyphrases
- first order logic
- expressive power
- theorem proving
- modal logic
- inference rules
- higher order
- theorem prover
- decision procedures
- horn clauses
- equational theories
- computational properties
- classical logic
- genetic algorithm
- function symbols
- knuth bendix
- propositional logic
- real world
- fuzzy logic
- anti unification
- intuitionistic logic
- propositional dynamic logic
- coalition logic
- horn logic
- machine learning