The following pages link to (Q5680089):
Displayed 7 items.
- Completeness in hybrid type theory (Q484101) (← links)
- FOIL axiomatized (Q865042) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Logical investigations on PTQ arising from programming requirements (Q1150589) (← links)
- Reichenbach and the logic of quantum mechanics (Q1243271) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)