Зображення обкладинки

On axiomatizations of Boolean algebras

We construct some new axiomatic systems for the Boolean algebra. In particular, an axiomatic system for disjunction and logical negation consists of three axioms. We prove the independence of the axiomatic systems proposed.

Збережено в:

Бібліографічні деталі
Дата:	1997
Автори:	Lisovik, L. P., Лисовик, Л. П.
Формат:	Стаття
Мова:	Російська Англійська
Опубліковано:	Institute of Mathematics, NAS of Ukraine 1997
Онлайн доступ:	https://umj.imath.kiev.ua/index.php/umj/article/view/5084
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Репозитарії

Ukrains’kyi Matematychnyi Zhurnal

Схожі ресурси

Quantum Boolean algebras
за авторством: Diaz, Rafael
Опубліковано: (2017)

Quantum Boolean algebras
за авторством: Diaz, R.
Опубліковано: (2017)

Об аксиоматизациях булевых алгебр
за авторством: Лисовик, Л.П.
Опубліковано: (1997)

Identification of boolean functions by methods of linear algebra
за авторством: Skobelev, V. G., та інші
Опубліковано: (1995)

The independence of the Armstrong&#039;s axiomatic system and algebra of functional dependencies
за авторством: D. B. Bui, та інші
Опубліковано: (2015)

Can Physics Be Constructed Axiomatically
за авторством: Bass, F. G.
Опубліковано: (2013)

Об одном методе задания фрактальных множеств
за авторством: Лисовик, Л.П., та інші
Опубліковано: (2009)

On the axiomatic definition of the generalized maximin principle
за авторством: I. A. Pasichnichenko
Опубліковано: (2016)

AGI-agent cognitive architecture agica - axiomatic approach
за авторством: S. Kornieiev
Опубліковано: (2023)

Integration of the description logics axiomatic into relational data model
за авторством: I. S. Chistjakova
Опубліковано: (2017)

Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Integration of the description logics axiomatic into relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2018)

Fuzzy boolean variables and their applications
за авторством: O. O. Provotar
Опубліковано: (2015)

Puzikova A.V. An axiomatics for multivalued dependences in tabular databases
за авторством: V. N. Redko, та інші
Опубліковано: (2015)

Earthquake focus as an excitable medium: consecutive axiomatics of scalar field description
за авторством: A. S. Kostinskij
Опубліковано: (2014)

Axiomatic kernels of the main sociological approaches in research of social internet-networks
за авторством: Ya. Vakhula
Опубліковано: (2013)

Matrix characterization of symmetry groups of boolean functions
за авторством: Jasionowski, P.
Опубліковано: (2012)

Matrix characterization of symmetry groups of boolean functions
за авторством: P. Jasionowski
Опубліковано: (2012)

Characterization of clones of boolean operations by identities
за авторством: Butkote, Runglawan, та інші
Опубліковано: (2018)

Evolutionary Models Boolean Programming Problem
за авторством: I. V. Kozin
Опубліковано: (2013)

Characterization of clones of boolean operations by identities
за авторством: Butkote, R., та інші
Опубліковано: (2007)

The Axiomatics and Signs of Both the Life Genesis and the State Formation, Their Socio-Economic Provision
за авторством: B. A. Karpinskyi, та інші
Опубліковано: (2020)

Demonstrating the advantages of axiomatic modeling on example solving a simple intellectual problem
за авторством: V. A. Kondratenko
Опубліковано: (2015)

Parallel algorithms for solving the boolean quadratic programming problem
за авторством: V. P. Shylo, та інші
Опубліковано: (2015)

Matrix characterization of symmetry groups of boolean functions
за авторством: Jasionowski, Pawel
Опубліковано: (2018)

Minimization of the conjunctive normal forms of partially monotonic Boolean functions
за авторством: A. P. Pynko
Опубліковано: (2017)

Strongly P-clean and semi-Boolean group rings
за авторством: D. Udar, та інші
Опубліковано: (2019)

Strongly $P$ -clean and semi-Boolean group rings
за авторством: Udar, D., та інші
Опубліковано: (2020)

On τ-closed n-multiply ω-composition formations with Boolean sublattices
за авторством: Zhiznevsky, P.
Опубліковано: (2010)

On τ-closed totally saturated group formations with Boolean sublattices
за авторством: Safonov, V.G.
Опубліковано: (2008)

Complexity of sensitivity analysis for discrete programming problems with Boolean variables
за авторством: N. V. Lishchuk
Опубліковано: (2015)

On an algorithm for constructing reduced DNF of order-prominent boolean functions
за авторством: A. I. Timoshkin
Опубліковано: (2019)

On \(\tau\)-closed \(n\)-multiply \(\omega\)-composition formations with Boolean sublattices
за авторством: Zhiznevsky, Pavel
Опубліковано: (2018)

The complexity of probabilistic sensitivity analysis procedures for integral Boolean programming problems
за авторством: N. V. Lishchuk
Опубліковано: (2015)

Mathematical modeling of nilpotent subsemigroups of semigroups of contracting transformations of a Boolean
за авторством: Selezneva, N. V., та інші
Опубліковано: (2009)

Overview of methods of reverse engineering of gene regulatory networks: Boolean and Bayesian networks
за авторством: Frolova, A.O.
Опубліковано: (2012)

Overview of methods of reverse engineering of gene regulatory networks: Boolean and Bayesian networks
за авторством: A. O. Frolova
Опубліковано: (2012)

Modeling local planner operation based on solution of nonlinear boolean programming problems
за авторством: E. S. Listrovaja, та інші
Опубліковано: (2017)

On the asymptotic normality of the number of false solutions of a system of nonlinear random Boolean equations
за авторством: Masol, V., та інші
Опубліковано: (2007)

An approximate algorithm for lexicographic search in multiple orders for the solution of the multidimensional boolean knapsack problem
за авторством: S. V. Chupov
Опубліковано: (2018)