A modal truth-tabular interpretation for necessary and sufficient conditons.

Peter A. Facione

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

Keyphrases

modal logic
image interpretation
databases
semantic interpretation
real world
information systems
website
high level
optimal solution
image analysis
evolutionary algorithm
control system
truth values