Logic in the Tractatus.

Published in: Rev. Symb. Log. (2017)

Keyphrases

multi valued
classical logic
computational properties
modal logic
linear logic
databases
information retrieval
information systems
knowledge base
bayesian networks
video sequences
logical framework
defeasible logic
epistemic logic
asynchronous circuits
proof theory