Twins in Logic - Identical and Otherwise.

Lloyd Humberstone

Published in: FLAP (2020)

Keyphrases

classical logic
modal logic
logic programming
data sets
neural network
case study
asynchronous circuits
databases
multi valued
probability theory
defeasible logic
predicate logic
formal theory
epistemic logic
proof theory