Algebraic characterizations of various Beth definability properties

DOI10.1023/A:1005295109904MaRDI QIDQ1576381zbMATH OpenOpenAlexFDO

Authors 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

abstract algebraic logicBeth definability propertyepimorphismssemantically algebraizable logics

Mathematics Subject Classification ID

Algebraic logic (03G99)

Recommendations

• The Beth property in algebraic logic
• Beth definability in the logic KR
• Epimorphisms, definability and cardinalities

Cited in

(19)

• Epimorphisms in cylindric algebras and definability in finite variable logic
• Persistent properties and an application to algebras of logic
• A computational glimpse at the Leibniz and Frege hierarchies
• A category equivalence for odd Sugihara monoids and its applications
• Beth definability and the Stone-Weierstrass theorem
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms, definability and cardinalities
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• Projective Beth property in extensions of Grzegorczyk logic
• scientific article; zbMATH DE number 4072934 (Why is no real title available?)
• scientific article; zbMATH DE number 1396683 (Why is no real title available?)
• Beth definability in the logic KR
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Idempotent residuated structures: Some category equivalences and their applications
• Effective interpolation and preservation in guarded logics
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Logic families
• Congruence filter pairs, equational filter pairs and adjoints

This page was built for publication: Algebraic characterizations of various Beth definability properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1576381)