Classifying material implications over minimal logic.

Hannes Diener Maarten McKubre-Jordens

Published in: Arch. Math. Log. (2020)

Keyphrases

logic programming
classical logic
modal logic
databases
multi valued
data sets
predicate logic
truth values
asynchronous circuits
real world
case study
defeasible logic
delay insensitive