Non-distributive positive logic as a fragment of first-order logic over semilattices.
Jim de GrootPublished in: J. Log. Comput. (2024)
Keyphrases
- positive and negative
- logic programming
- real time
- predicate logic
- defeasible logic
- modal logic
- classical logic
- multi valued
- data sets
- proof theory
- deontic logic
- general theory
- genetic algorithm
- information retrieval
- logical framework
- automated reasoning
- logic programs
- artificial intelligence
- set theory
- nonmonotonic logics
- asynchronous circuits
- neural network
- sound and complete axiomatization