The following pages link to (Q5173183):
Displaying 10 items.
- Type introduction for equational rewriting (Q1579057) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- (Q2958550) (← links)
- EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (Q3043643) (← links)
- Identity, Equality, Nameability and Completeness (Q4576060) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- Quantifiers and conceptual existence (Q6601782) (← links)