Structural Completeness in Substructural Logics.

Jeffrey S. Olson James G. Raftery Clint J. van Alten

Published in: Log. J. IGPL (2008)

Keyphrases

propositional calculus
expressive power
structural information
data quality
modal logic
databases
genetic algorithm
neural network
mobile robot
default logic
structural analysis
order sorted