Splittings in varieties of logic.
Brian A. DaveyTomasz KowalskiChristopher J. TaylorPublished in: Int. J. Algebra Comput. (2021)
Keyphrases
- logic programming
- modal logic
- automated reasoning
- classical logic
- computational properties
- artificial intelligence
- logic programs
- multi valued
- defeasible logic
- logical framework
- delay insensitive
- dynamic logic
- linear logic
- epistemic logic
- probabilistic logic
- natural language
- web services
- knowledge base
- decision making