Characterization of protoalgebraic k-deductive systems

DOI10.1007/978-3-319-74772-9_10MaRDI QIDQ4586420zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 139647
• Protoalgebraic logics
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Willem Blok's contribution to abstract algebraic logic
• scientific article; zbMATH DE number 67022

Cites work

• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Definability of Leibniz equality
• Equivalential logics. I
• Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1463146 (Why is no real title available?)
• scientific article; zbMATH DE number 914167 (Why is no real title available?)
• Protoalgebraic logics

Cited in

(2)

• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• The simplest protoalgebraic logic

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

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