A logic of hypothetical conjunction.

Matthew Collinson

Published in: J. Log. Comput. (2019)

Keyphrases

multi valued
classical logic
computational properties
case study
logic programming
neural network
automated reasoning
modal logic
database
search algorithm
multiscale
decision trees
defeasible logic
formal theory
deontic logic
asynchronous circuits
dynamic logic
intuitionistic logic