Characterizing logical consequence in many-valued logic.

Emmanuel Chemla Paul Égré Benjamin Spector

Published in: J. Log. Comput. (2017)

Keyphrases

modal logic
truth values
predicate logic
multi valued
classical logic
inference rules
logic programming
artificial intelligence
proof theory
nonmonotonic logics
rough sets
conceptual clustering
defeasible logic
default logic
information systems
asynchronous circuits
dynamic logic
natural deduction
neural network