The following pages link to Towards automating duality (Q1343394):
Displaying 5 items.
- Rough sets determined by quasiorders (Q1047187) (← links)
- Towards automating duality (Q1343394) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- On a self-dual notation in automated reasoning (Q2770672) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)