The logic of algebraic rules as a generalization of equational logic

DOI10.1007/BF01063844zbMath0577.03012MaRDI QIDQ1065789

Tomasz Furmanowski

Publication date: 1983

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

zbMATH Keywords

derivability

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05)

Cites Work

• Unnamed Item
• Unnamed Item
• Reduced products of logical matrices
• 2-element matrices
• Matrix approach in methodology of sentential calculi
• Finite equational bases for finite algebras in a congruence-distributive equational class
• On finitely based consequence operations

This page was built for publication: The logic of algebraic rules as a generalization of equational logic