On the Weak Kleene Scheme in Kripke's Theory of Truth.

James Cain Zlatan Damnjanovic

Published in: J. Symb. Log. (1991)

Keyphrases

theoretical basis
desirable properties
propositional logic
classification scheme
theoretical framework
learning scheme
general theory
information systems
decision making
search algorithm
modal logic
regular expressions
detection scheme