Amalgamation and Robinson property in universal algebraic logic.
Zalán GyenisÖvge ÖztürkPublished in: Log. J. IGPL (2024)
Keyphrases
- multi valued
- algebraic structure
- logic programming
- computer algebra
- databases
- proof theory
- artificial intelligence
- automated reasoning
- predicate logic
- mathematical theory
- set theory
- classical logic
- modal logic
- knowledge base
- machine learning
- database
- default reasoning
- nonmonotonic logics
- higher order
- formal theory
- data sets