An Intriguing Logic with Two Implicational Connectives.

Lloyd Humberstone

Published in: Notre Dame J. Formal Log. (2000)

Keyphrases

classical logic
truth values
logic programming
multi valued
modal logic
databases
logical framework
real time
computer vision
valued logic
database
neural network
predicate logic
deontic logic
asynchronous circuits