Refutations in Wansing's Logic.

Tomasz F. Skura

Published in: Reports Math. Log. (2017)

Keyphrases

proof search
modal logic
theorem prover
abductive reasoning
neural network
database
theorem proving
multi valued
classical logic
delay insensitive
asynchronous circuits
natural deduction
linear temporal logic
proof theory
linear logic
deontic logic
epistemic logic
relational databases