Two principles in many-valued logic.

Stefano Aguzzoli Vincenzo Marra

Published in: CoRR (2013)

Keyphrases

modal logic
truth values
inference rules
classical logic
logic programming
temporal logic
concept lattice
epistemic logic
databases
design principles
conceptual clustering
propositional dynamic logic
data sets
proof theory
theorem proving
automated reasoning
asynchronous circuits
deductive reasoning
decision trees