Admissibility and refutation: some characterisations of intermediate logics.

Jeroen P. Goudsmit

Published in: Arch. Math. Log. (2014)

Keyphrases

inductive inference
classical logic
expressive power
theorem prover
inference rules
modal logic
theorem proving
neural network
automated theorem proving
bayesian networks
information retrieval
data structure
default logic
nonmonotonic logics
conditional logic
truth values
epistemic logic
database
valued logic