Characterization of strong day implication systems

DOI10.1007/978-3-031-44490-6_10MaRDI QIDQ6911838zbMATH OpenFDO

Authors Sergey Babenyshev

Publication date 24 October 2025

Full work available at URL https://doi.org/10.1007/978-3-031-44490-6_10

zbMATH Keywords

abstract algebraic logicday implication systemsdeduction-detachment theoremequational consequence relationsvarieties and quasivarieties of universal algebras

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Quantum logic (03G12)

Cites work

• A Characterization of Modularity for Congruence Lattices of Algebras*
• Commutator Theory for Relatively Modular Quasivarieties
• Geometrical methods in congruence modular algebras
• scientific article; zbMATH DE number 5148397 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Optimal Mal'tsev conditions for congruence modular varieties
• Protoalgebraic logics

This page was built for publication: Characterization of strong day implication systems

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