The following pages link to A theory of properties (Q3765745):
Displaying 13 items.
- A basic theory with predicates (Q700066) (← links)
- A simple type theory without Platonic domains (Q795812) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Nominalization, predication and type containment (Q1314276) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Theorem proving for intensional logic (Q1891256) (← links)
- The fact semantics for ramified type theory and the axiom of reducibility (Q2472611) (← links)
- (Q3778714) (← links)
- Two Impredicative Theories of Properties and Sets (Q3800002) (← links)
- LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR (Q4295223) (← links)
- (Q4663842) (← links)
- Property theory and the revision theory of definitions (Q4953216) (← links)
- A theory of aspects (Q5261271) (← links)