Pages that link to "Item:Q2433094"
From MaRDI portal
The following pages link to The Beth property in algebraic logic (Q2433094):
Displaying 17 items.
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← 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)
- On prevarieties of logic (Q2324841) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS (Q4638973) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
