Pages that link to "Item:Q1576381"
From MaRDI portal
The following pages link to Algebraic characterizations of various Beth definability properties (Q1576381):
Displaying 14 items.
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Persistent properties and an application to algebras of logic (Q1272145) (← links)
- 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, definability and cardinalities (Q2307302) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)
