The Logic of Pragmatic Truth.

Newton C. A. da Costa Otávio A. S. Bueno Steven French

Published in: J. Philos. Log. (1998)

Keyphrases

truth values
logic programming
modal logic
classical logic
multi valued
data mining
real time
artificial neural networks
valued logic
delay insensitive
proof theory
linear logic
epistemic logic
logical framework
fixpoint
automated reasoning
inference rules
computer vision