Pages that link to "Item:Q4531552"
From MaRDI portal
The following pages link to Fregean subtractive varieties with definable congruence (Q4531552):
Displayed 6 items.
- Lee classes for pseudocomplemented semilattices, revisited (Q535101) (← links)
- Fregean logics (Q598302) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- FREGEAN VARIETIES (Q3398314) (← links)
- Free spectra of linear equivalential algebras (Q5486254) (← links)