Logic with Truth Values in a Linearly Ordered Heyting Algebra.

Published in: J. Symb. Log. (1969)

Keyphrases

truth values
linearly ordered
set theory
inference rules
boolean logic
valued logic
multi valued
first order logic
fixpoint
partial order
data model
modal logic
databases
integrity constraints
rough sets
query language
fuzzy sets
object oriented
hidden markov models