Towards a logic of significance.

Leonard Goddard

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

Keyphrases

logic programming
classical logic
deontic logic
case study
automated reasoning
logic synthesis
neural network
genetic algorithm
computer vision
multiscale
description logics
logical framework
computational properties
truth values
asynchronous circuits
intuitionistic logic