On Formalizing the Distinction between Logical and Factual Truth.

William H. Hanson

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

Keyphrases

truth values
real world
database
real time
logical operations
logical structure
inference rules
web services
expert systems
fuzzy logic
first order logic
multimedia
metadata
information retrieval
logical representation
logical reasoning
databases