The following pages link to (Q4362877):
Displaying 8 items.
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Monomorphic characterization of \(n\)-ary direct products (Q1961870) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Equational Reasoning in Non-Classical Logics (Q4236057) (← links)
- The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
