Pages that link to "Item:Q5332210"
From MaRDI portal
The following pages link to A reduction of the axioms for the theory of prepositional types (Q5332210):
Displayed 8 items.
- On fuzzy type theory (Q703370) (← links)
- Extending Montague's system: A three valued intensional logic (Q918539) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- A simple type theory with partial functions and subtypes (Q1314643) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- Henkin on Completeness (Q3454811) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)