A construction in Boolean algebras
R. Kaufman (1968)
Colloquium Mathematicae
Similarity:
Displaying similar documents to “On the existence of σ-complete prime ideals in Boolean algebras”
A construction in Boolean algebras
On σ-complete prime ideals in Boolean algebras
Karel Prikry (1971)
Colloquium Mathematicae
Similarity:
Disjointing infinite sums in incomplete Boolean algebras
Robert Lagrange (1967)
Colloquium Mathematicae
Similarity:
Nonstandard implication algebras
R. A. Herrmann (1979)
Matematički Vesnik
Similarity:
Semi-boolean algebra
J. C. Abbott (1967)
Matematički Vesnik
Similarity:
On ideals in De Morgan residuated lattices
Liviu-Constantin Holdon (2018)
Kybernetika
Similarity:
In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness...
On Implicative Boolean Algebras.
Raymond Balbes (1970)
Mathematische Zeitschrift
Similarity:
On the solvability of infinite systems of Boolean polynomial equations
Alexander Abian (1970)
Colloquium Mathematicae
Similarity:
Saturated Boolean Algebras With Ultrafilters
Žarko Mijajlović (1979)
Publications de l'Institut Mathématique
Similarity:
On some connections between Boolean algebras and Heyting algebras
Dimitrii E. Pal'chunov, Alain Touraille (1992)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
A short note on lattices allowing disjunctive reasoning.
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.