Login / Signup
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.
Carlos Viegas Damásio
Nicolás Madrid
Manuel Ojeda-Aciego
Published in:
WILF (2011)
Keyphrases
</>
truth values
inference rules
fixpoint
multi valued
default logic
computational properties