Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
DOI10.1007/S11225-013-9499-YzbMATH Open1284.08020OpenAlexW2109908460WikidataQ59303477 ScholiaQ59303477MaRDI QIDQ368481FDOQ368481
Michał M. Stronkowski, A. M. Nurakunov
Publication date: 23 September 2013
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-013-9499-y
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
- scientific article; zbMATH DE number 7634960
- On the equational theory of representable polyadic equality algebras (extended abstract)
- scientific article; zbMATH DE number 1018728
finite axiomatizationdefinable principal subrelationsequality-free quasivarietyprotoalgebraicityrelation distributivityrelation formulas
Cites Work
- Matrices, primitive satisfaction and finitely based logics
- A survey of abstract algebraic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Protoalgebraic logics
- Title not available (Why is that?)
- Equivalential logics. I
- Quasivarieties with definable relative principal subcongruences
- Filter distributive logics
- Algebraic aspects of deduction theorems
- A deduction theorem schema for deductive systems of propositional logics
- Some theorems on structural consequence operations
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
- Definable principal subcongruences.
- Definability of Leibniz equality
- Some characterization theorems for infinitary universal Horn logic without equality
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- On finitely based varieties of algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
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)
