Publisher
Springer International Publishing
Reference8 articles.
1. Babyonyshev, S. (2004). Metatheories of deductive systems. Ph.D. Thesis, Iowa State University. https://dr.lib.iastate.edu/handle/20.500.12876/82361. Visited at 18 Dec 2022.
2. Babyonyshev, S. V. (2006). Another characterization of the deduction-detachment theorem. In Mathematical Logic in Asia (pp. 1–16). https://doi.org/10.1142/9789812772749_0001. https://www.worldscientific.com/doi/abs/10.1142/9789812772749_0001
3. Czèdli, G., Horvàth, E., & Lipparini, P. (2005). Optimal Mal’tsev conditions for congruence modular varieties. Algebra Universalis,53(2–3), 267–279.
4. Czelakowski, J. (2001). Protoalgebraic logics. Dordrecht: Kluwer Academic Publishers.
5. Day, A. (1969). A characterization of modularity for congruence lattices of algebras. Canadian Mathematical Bulletin, 12, 167–173.