Pages that link to "Item:Q4452452"
From MaRDI portal
The following pages link to A Brauerian representation of split preorders (Q4452452):
Displaying 10 items.
- Coherence for modalities (Q531368) (← links)
- Medial commutativity (Q882124) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Syntax for split preorders (Q1942041) (← links)
- Schreier split extensions of preordered monoids (Q2035656) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Simplicial Endomorphisms (Q3514792) (← links)
- Spheres as Frobenius objects (Q4577992) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)