On the solvability of infinite systems of Boolean polynomial equations
Alexander Abian (1970)
Colloquium Mathematicae
Similarity:
Alexander Abian (1970)
Colloquium Mathematicae
Similarity:
R. Kaufman (1968)
Colloquium Mathematicae
Similarity:
Robert Lagrange (1967)
Colloquium Mathematicae
Similarity:
N.V. Subrahmanyam (1967)
Mathematische Zeitschrift
Similarity:
Konôpka, P., Pulmannová, S. (1991)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
W. A. J. Luxemburg (1968)
Colloquium Mathematicae
Similarity:
Radomír Halaš (1996)
Czechoslovak Mathematical Journal
Similarity:
Raymond Balbes (1970)
Mathematische Zeitschrift
Similarity:
R. A. Herrmann (1979)
Matematički Vesnik
Similarity:
Enric Trillas, Eloy Renedo, Claudi Alsina (2006)
Mathware and Soft Computing
Similarity:
This short note shows that the scheme of disjunctive reasoning, , not , does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality , forces the structure to be a boolean algebra.