Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics.

Neil V. Murray Erik Rosenthal

Published in: ISMIS (1993)

Keyphrases

valued logic
logic programming
modal logic
multi valued
predicate calculus
real time
artificial intelligence
pattern recognition
classical logic
linear time temporal logic