Labelled Deduction over Algebras of Truth-Values.

João Rasga Amílcar Sernadas Cristina Sernadas Luca Viganò

Published in: FroCoS (2002)

Keyphrases

truth values
inference rules
boolean logic
theorem proving
lattice structure
first order logic
modal logic
theorem prover
multi valued
fixpoint
horn clauses
database systems
bayesian networks