Pages that link to "Item:Q2411405"
From MaRDI portal
The following pages link to Epimorphisms in varieties of residuated structures (Q2411405):
Displaying 14 items.
- On semiconic idempotent commutative residuated lattices (Q776990) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS (Q4638973) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- A frame-theoretic perspective on Esakia duality (Q6076967) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
