Login / Signup
Axioms for Determinateness and Truth.
Solomon Feferman
Published in:
Rev. Symb. Log. (2008)
Keyphrases
</>
knowledge base
truth values
neural network
valued logic
first order logic
pairwise
action theories
real time
feature selection
case study
search algorithm
pattern recognition
mobile robot
knowledge representation