Intensional Logic and Two-Sorted Type Theory.
Thomas Ede ZimmermannPublished in: J. Symb. Log. (1989)
Keyphrases
- formal theory
- proof theory
- commonsense reasoning
- set theory
- computer algebra
- higher order
- computational model
- artificial intelligence
- causal reasoning
- theoretical framework
- logic programming
- automated reasoning
- probability theory
- theoretical basis
- asynchronous circuits
- real time
- logical theories
- sound and complete axiomatization