Boolean algebra
Nie znaleziono dokładnie takiej strony, ale znaleźliśmy podobne:
Algebra Boole’a
W. Weisstein Eric W.E.W., Boolean Algebra, [w:] MathWorld, Wolfram Research (ang.). [dostęp 2024-03-25]. Boolean Algebra (ang.), Encyclopedia of Mathematics...
Dychotomia
1996. Saharon Szelach. How special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null. „Israel...
∴
2023-03-11] (ang.). Janet HeineJ.H. Barnett Janet HeineJ.H., Origins of Boolean Algebra in the Logic of Classes: George Boole, John Venn and C. S. Peirce [online]...
Algebra Heytinga
[dostęp 2018-04-25] . autorzy nLab, Heyting algebra in nLab [online] [dostęp 2018-01-11] . Pseudo-Boolean algebra (ang.), Encyclopedia of Mathematics, encyclopediaofmath...
Dysjunkcja (Sheffera)
Postulates for Boolean Algebras, with Application to Logical Constants. Wcześniej na ten pomysł wpadł Charles Peirce (artykuł A Boolian Algebra with One Constant...
Twierdzenie o ideale pierwszym
(od ang. Boolean prime ideal theorem), które brzmi następująco: W każdej algebrze Boole’a istnieje ideał pierwszy. Ponieważ dualizacja algebry Boole’a...
Automatyczne dowodzenie twierdzeń
I., Robbins Algebras Are Boolean: A Revision of McCune's Computer-Generated Solution of Robbins Problem, „Journal of Algebra”, 208 (2), 1998, s. 526–532...
Twierdzenie Stone’a o reprezentacji algebr Boole’a
twierdzenie o reprezentacji algebr Heytinga twierdzenie Sikorskiego Marshall Harvey Stone. The theory of representations for Boolean algebras. Transactions...
Aksjomat wyboru
{\displaystyle i\in \mathbb {N} .} Twierdzenie o ideale pierwszym (BPI, od ang. Boolean prime ideal theorem) Na każdej algebrze Boole’a istnieje ultrafiltr. Prawdziwe...
Robert Trypuz
Leśniewskiego, Roczniki Filozoficzne (2014) On deontic action logics based on Boolean algebra, Journal of Logic and Computation (2013) Evaluation of beef production...