The following pages link to (Q4792081):
Displayed 6 items.
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Congruences, ideals and annihilators in standard QBCC-algebras (Q1767427) (← links)
- Pseudo-valuations on pre-logics (Q2428614) (← links)
- Distributive implication groupoids (Q2464687) (← links)
- (Q4680221) (← links)