Consistency Notions in Illative Combinatory Logic.
Martin W. BunderPublished in: J. Symb. Log. (1977)
Keyphrases
- computational properties
- logic programming
- modal logic
- asynchronous circuits
- consistency checking
- sound and complete axiomatization
- predicate logic
- set theory
- automated reasoning
- logic programs
- artificial intelligence
- multi valued
- defeasible logic
- real time
- constraint networks
- model theoretic
- digital circuits
- truth values
- formal theory
- key properties
- deontic logic
- neural network