The consistency of the axioms of abstraction and extensionality in a three-valued logic.
Ross T. BradyPublished in: Notre Dame J. Formal Log. (1971)
Keyphrases
- nonmonotonic logics
- modal logic
- set theory
- sound and complete axiomatization
- logic programming
- asynchronous circuits
- inference rules
- logical theories
- bounded model checking
- epistemic logic
- computational properties
- consistency checking
- high level
- decision theoretic planning
- knowledge base
- valued semantics
- automated reasoning
- truth values
- predicate logic
- global consistency
- data sets
- global constraints
- first order logic