The following pages link to (Q4003057):
Displayed 6 items.
- Algebras of intervals and a logic of conditional assertions (Q704035) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- An algebraic study of exactness in partial contexts (Q2353690) (← links)
- Universality of Logic (Q4608552) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)