The Logic of Generalized Truth Values and the Logic of Bilattices.

Sergei P. Odintsov Heinrich Wansing

Published in: Stud Logica (2015)

Keyphrases

truth values
boolean logic
inference rules
multi valued
modal logic
fixpoint
logic programming
classical logic
lattice structure
image sequences
automated reasoning
special case