scientific article; zbMATH DE number 554983

MaRDI QIDQ4288802zbMATHFDO

Authors Burghard Herrmann

Publication date 20 October 1994

zbMATH Keywords

algebraizable logicsfinitely equivalential logics with equationally definable truthrestricted Leibniz operatorstructural consequence relations

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Algebraic logic (03G99)

Recommendations

• scientific article; zbMATH DE number 465608
• Equivalential and algebraizable logics
• The Beth property in algebraic logic
• Characterizing equivalential and algebraizable logics by the Leibniz operator

Cited in

(11)

• scientific article; zbMATH DE number 4204312 (Why is no real title available?)
• A study of truth predicates in matrix semantics
• scientific article; zbMATH DE number 465608 (Why is no real title available?)
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• scientific article; zbMATH DE number 754436 (Why is no real title available?)
• A duality between algebras of basic logic and bounded representable \(\text{DR}l\)-monoids
• Filter distributive logics
• Implicit connectives of algebraizable logics
• scientific article; zbMATH DE number 5173450 (Why is no real title available?)
• The Beth property in algebraic logic
• Equivalential and algebraizable logics

This page was built for publication:

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