The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.
Ross T. BradyPublished in: Notre Dame J. Formal Log. (1972)
Keyphrases
- axiomatic characterization
- knowledge base
- nonmonotonic logics
- set theory
- computational properties
- horn clauses
- first order logic
- complete axiomatization
- data sets
- logical theories
- inference rules
- relational databases
- multi class classification
- modal logic
- logic programming
- action theories
- valued logic
- neural network
- database