Pages that link to "Item:Q2411405"
From MaRDI portal
The following pages link to Epimorphisms in varieties of residuated structures (Q2411405):
Displaying 18 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)
- Some properties of epimorphisms of Hilbert algebras (Q2379262) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Epimorphically Closed Permutative Varieties (Q3216809) (← links)
- On a Generalization of Standard Episturmian Morphisms (Q3533007) (← links)
- DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS (Q4638973) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- (Q5569213) (← 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)