On the Definition of an Infinitely-Many-Valued Predicate Calculus.
Joseph D. RutledgePublished in: J. Symb. Log. (1960)
Keyphrases
- predicate calculus
- formal model
- first order logic
- theorem proving
- semantic network
- lambda calculus
- predicate logic
- proof procedure
- theorem prover
- modal logic
- finite number
- semantic net
- concept lattice
- aggregation functions
- databases
- semantic relations
- truth values
- markov chain
- knowledge representation
- information retrieval