A New Logic of Technical Malfunction.

Bjørn Jespersen Massimiliano Carrara

Published in: Stud Logica (2013)

Keyphrases

logic programming
multi valued
classical logic
data mining
proof theory
neural network
modal logic
predicate logic
automated reasoning
linear logic
nonmonotonic logics
logical framework
wide variety
data sets
database
probability theory
epistemic logic