Definability issues in universal logic

MaRDI QIDQ2853724zbMATH OpenFDO

Authors Ildikó Sain

Publication date 16 October 2013

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logical aspects of Boolean algebras (03G05) Abstract algebraic logic (03G27)

Recommendations

• scientific article; zbMATH DE number 1960347
• scientific article; zbMATH DE number 1303723
• Protoalgebraic logics
• Algebraic logic
• Definitional equivalence and algebraizability of generalized logical systems

Cited in

(6)

• Undefinability in inquisitive logic with tensor
• Universal models and definability
• scientific article; zbMATH DE number 1354096 (Why is no real title available?)
• scientific article; zbMATH DE number 733392 (Why is no real title available?)
• Complexity of equational theory of relational algebras with standard projection elements
• Finite-Variable Logics Do Not Have Weak Beth Definability Property

This page was built for publication: Definability issues in universal logic

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