Cramer's formulas for systems of linear equations and inequalities over Boolean algebra
V. B. Poplavski

References
1.	Duplii S. A., Kotulskaya O. I., “Kvazideterminanty, nekommutativnye determinanty i neobratimye supermatrichnye struktury”, Vestn. Kharkov. natsionalnogo un-ta, 585:1(21) (2003), 19–28
2.	Dieudoné J., “Les déterminants sur un corps noncommutatiff”, Bul. Soc. Math. France, 71 (1943), 27–45
3.	Artin E., Geometricheskaya algebra, Nauka, M., 1969, 284 pp.
4.	Ponizovskii I. S., “Ob opredelitele matrits s elementami iz nekotorogo koltsa”, Mat. sbornik, 45(87):1 (1958), 3–16
5.	Kirchei I. I., “Pravilo Kramera dlya kvaternionnykh sistem lineinykh uravnenii”, Fundamentalnaya i prikladnaya matematika, 13:4 (2007), 67–94
6.	Sokolov O. B., “Primenenie bulevykh opredelitelei k analizu logicheskikh mnogopolyusnikov”, Uchenye zapiski Kazansk. gosun-ta, 123, no. 6, 1963, 155–164
7.	Chesley D. S., Bevis J. H., “Determinants for matrices over lattices”, Proc. Roy. Soc. Edinburgh. A, 68:2 (1969), 138–144
8.	Reutenauer C., Straubing H., “Inversion of matrices over a commutative semiring”, J. of Algebra, 88 (1984), 350–360
9.	Kuntzmann J., Théorie des réseaux (graphes), Dunod, Paris, 1972
10.	Poplin P. L., Hartwig R. E., “Determinantal identities over commutative semirings”, Linear Algebra Appl., 387 (2004), 99–132
11.	Poplavskii V. B., “O rangakh, klassakh Grina i teorii opredelitelei bulevykh matrits”, Diskretnaya matematika, 20:4 (2008), 42–60
12.	Poplavskii V. B., “O razlozhenii opredelitelei bulevykh matrits”, Fundamentalnaya i prikladnaya matematika, 13:4 (2007), 199–223
13.	Poplavskii V. B., “Obratimye i prisoedinennye bulevy matritsy”, Chebyshevckii sb., 6:1 (2005), 174–181
14.	Rutherford D. E., “Inverses of Boolean matrices”, Proc. Glasgow Math. Assoc., 6:1 (1963), 49–53
15.	Skornyakov L. A., “Obratimye matritsy nad distributivnymi strukturami”, Sib. mat. zhurn., 27:2 (1986), 182–185