Characterization of protoalgebraic k-deductive systems

DOI10.1007/978-3-319-74772-9_10zbMath1459.03102OpenAlexW2793336919MaRDI QIDQ4586420

Katarzyna Pałasińska

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_10

zbMATH Keywords

congruencedeductive systemprotoalgebraic systemsystem of congruence formulassystem of equivalence formulas

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equivalential logics. I
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
• Definability of Leibniz equality
• Algebraizable logics
• Protoalgebraic logics

This page was built for publication: Characterization of protoalgebraic k-deductive systems