Algebraic characterizations of various Beth definability properties

DOI10.1023/A:1005295109904zbMath0953.03073OpenAlexW1586898263MaRDI QIDQ1576381

Eva Hoogland

Publication date: 29 January 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005295109904

zbMATH Keywords

epimorphismsabstract algebraic logicBeth definability propertysemantically algebraizable logics

Mathematics Subject Classification ID

Algebraic logic (03G99)

Related Items

Effective Interpolation and Preservation in Guarded Logics ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ Epimorphisms in varieties of residuated structures ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ The Beth property in algebraic logic ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Epimorphisms, definability and cardinalities ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic