Sign in

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.

Carlos Viegas DamásioNicolás MadridManuel Ojeda-Aciego
Published in: WILF (2011)
Keyphrases
  • truth values
  • inference rules
  • fixpoint
  • multi valued
  • default logic
  • computational properties