Multi-valued Calculi for Logics Based on Non-determinism.

Arnon Avron Beata Konikowska

Published in: Log. J. IGPL (2005)

Keyphrases

multi valued
sequent calculi
truth values
valued logic
multiple valued
modal logic
single valued
conditional logic
inference rules
normal form
boolean functions
np hard
probabilistic model
logic synthesis
databases
gray scale