Pages that link to "Item:Q1047097"
From MaRDI portal
The following pages link to A logic of implications in algebra and coalgebra (Q1047097):
Displaying 6 items.
- A calculus of lax fractions (Q326585) (← links)
- The orthogonal subcategory problem and the small object argument (Q839589) (← links)
- Towards an algebraic semantics for implicatives (Q2228452) (← links)
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- A schematic extension of IMTL-logic algebras (Q2927177) (← links)
- KZ-monadic categories and their logic (Q2969086) (← links)