Pseudo-Complements and Ordinal Logics based on Consistency Statements.

Robert A. Di Paola

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

Keyphrases

expressive power
modal logic
truth values
global constraints
temporal consistency
databases
natural language
classical logic
cp nets
consistency checking
propositional variables
real time
proof theory
global consistency
conditional logic
computational properties
constraint networks
search algorithm
data sets