Significance and illative combinatory logics.

Martin W. Bunder

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

Keyphrases

expressive power
modal logic
inference rules
three dimensional
database systems
epistemic logic
real time
databases
machine learning
case study
fuzzy logic
computational properties
nonmonotonic logics
proof theory