Algebraically closed structures in positive logic.

Mohammed Belkasmi

Published in: Ann. Pure Appl. Log. (2020)

Keyphrases

positive and negative
logic programming
classical logic
machine learning
modal logic
multi valued
computational properties
predicate logic
database
databases
real world
artificial intelligence