Equivalent transformations of formulas in \(P_2\).
From MaRDI portal
Publication:2513087
DOI10.3103/S0027132209050052zbMath1304.03073MaRDI QIDQ2513087
Publication date: 2 February 2015
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
Cites Work
- Unnamed Item
- A proof of Lyndon's finite basis theorem
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Function Algebras on Finite Sets
- Algebras Whose Congruence Lattices are Distributive.
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- Identities in Two-Valued Calculi
- Identities in Finite Algebras
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)