Pages that link to "Item:Q4531555"
From MaRDI portal
The following pages link to Congruence quasi-orderability in subtractive varieties (Q4531555):
Displaying 7 items.
- Fregean logics (Q598302) (← links)
- An approach to tame congruence theory via subtraces (Q1312169) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- Order \(1\) congruences of linear with smooth fundamental scheme (Q2809912) (← links)
- Fregean subtractive varieties with definable congruence (Q4531552) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Quasi-subtractive varieties: Open filters, congruences and the commutator (Q4644495) (← links)