Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited

DOI10.1007/S11225-013-9499-YMaRDI QIDQ368481zbMATH OpenOpenAlexWikidataFDO

Authors A. M. Nurakunov, Michał M. Stronkowski

Publication date 23 September 2013

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-013-9499-y

zbMATH Keywords

finite axiomatizationdefinable principal subrelationsequality-free quasivarietyprotoalgebraicityrelation distributivityrelation formulas

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Quasivarieties (08C15) Axiomatic model classes (08C10)

Recommendations

• The equational theory of union-free algebras of relations
• On the definition and the representability of quasi-polyadic equality algebras
• Relative congruence formulas and decompositions in quasivarieties
• scientific article; zbMATH DE number 966891
• On the equational theory of representable polyadic equality algebras
• scientific article; zbMATH DE number 7264200
• Axiomatization of identity-free equations valid in relation algebras
• The relationship between EQ algebras and equality algebras
• On the equational theory of representable polyadic equality algebras (extended abstract)
• scientific article; zbMATH DE number 1018728

Cites work

• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 3625386 (Why is no real title available?)
• scientific article; zbMATH DE number 2144744 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• A deduction theorem schema for deductive systems of propositional logics
• A survey of abstract algebraic logic
• Algebraic aspects of deduction theorems
• Definability of Leibniz equality
• Definable principal subcongruences.
• Equivalential logics. I
• Filter distributive logics
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Matrices, primitive satisfaction and finitely based logics
• On finitely based varieties of algebras
• Protoalgebraic logics
• Quasivarieties with definable relative principal subcongruences
• Some characterization theorems for infinitary universal Horn logic without equality
• Some theorems on structural consequence operations

Cited in

(4)

• Profiniteness in finitely generated varieties is undecidable
• scientific article; zbMATH DE number 910445 (Why is no real title available?)
• scientific article; zbMATH DE number 7264200 (Why is no real title available?)
• Abstract algebraic logic. An introductory chapter

This page was built for publication: Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited

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