Protoalgebraic logics
From MaRDI portal
Publication:6364601
DOI10.1007/bf00370269zbMath0622.03020MaRDI QIDQ6364601
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Filter distributive logics
- Matrices, primitive satisfaction and finitely based logics
- Reduced products of logical matrices
- Equivalential logics. I
- An algebraic approach to non-classical logics
- Some theorems on structural consequence operations
- Matrix approach in methodology of sentential calculi
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Algebraizable logics
- Algebraic semantics for quasi-classical modal logics
- Algebras Whose Congruence Lattices are Distributive.
- Subdirect unions in universal algebra