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

DOI10.1007/s11225-013-9499-yzbMath1284.08020OpenAlexW2109908460WikidataQ59303477 ScholiaQ59303477MaRDI QIDQ368481

Michał M. Stronkowski, Anvar 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

zbMATH Keywords

finite axiomatizationdefinable principal subrelationsequality-free quasivarietyprotoalgebraicityrelation distributivityrelation formulas

Mathematics Subject Classification ID

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

Related Items (2)

Abstract algebraic logic. An introductory chapter ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quasivarieties with definable relative principal subcongruences
• Filter distributive logics
• Matrices, primitive satisfaction and finitely based logics
• Algebraic aspects of deduction theorems
• Equivalential logics. I
• 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
• A survey of abstract algebraic logic
• 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
• Protoalgebraic logics

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