New-from-old full dualities via axiomatisation.

Brian A. Davey Jane G. Pitkethly Ross Willard

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

Keyphrases

modal logic
inference rules
functional dependencies
machine learning
artificial intelligence
database systems
probability distribution
game theory