A Sketch of Logic Without Truth.

Carlos E. Alchourrón Antonio A. Martino

Published in: ICAIL (1989)

Keyphrases

truth values
multi valued
real time
abductive reasoning
digital circuits
defeasible logic
classical logic
computational properties
logical framework
logic synthesis
predicate logic
automated reasoning
probability theory
modal logic
logic programming
multi agent
neural network