If-Logic and Truth-definition.

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

Keyphrases

truth values
set theory
classical logic
logic programming
modal logic
operational semantics
multi valued
defeasible logic
case study
valued logic
automated reasoning
logical framework
conceptual model
first order logic
formal theory
asynchronous circuits
search engine
order sorted