Replacement in Logic.

Lloyd Humberstone

Published in: J. Philos. Log. (2013)

Keyphrases

modal logic
multi valued
classical logic
search algorithm
probability theory
logical framework
formal theory
information systems
logic programming
automated reasoning
probabilistic logic
defeasible logic
set theory
asynchronous circuits
linear logic
intuitionistic logic