Some Fixed Point Theorems in Boolean Algebra
Koriolan Gilezan (1980)
Publications de l'Institut Mathématique
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Koriolan Gilezan (1980)
Publications de l'Institut Mathématique
Similarity:
Roman Sikorski (1961)
Colloquium Mathematicum
Similarity:
Slobodan Vujošević (1989)
Publications de l'Institut Mathématique
Similarity:
L. Szczerba (1973)
Fundamenta Mathematicae
Similarity:
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity:
H. Mildenberg (1993)
Fundamenta Mathematicae
Similarity:
Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier .
Banković, Dragić (1998)
Novi Sad Journal of Mathematics
Similarity:
Sergiu Rudeanu (1998)
Mathware and Soft Computing
Similarity:
An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].
D. Banković (1987)
Matematički Vesnik
Similarity:
Wroński, Stanisław (2015-10-26T10:14:52Z)
Acta Universitatis Lodziensis. Folia Mathematica
Similarity:
Steven Garavaglia, J. M. Plotkin (1984)
Colloquium Mathematicae
Similarity: