A formal interpretation of Łukasiewicz' logics.

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

expressive power
image interpretation
modal logic
database
formal analysis
data sets
information retrieval
genetic algorithm
case study
high level
probabilistic model
knowledge representation
formal model
semantic interpretation
multiple interpretations