Cover Image

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.

Saved in:

Bibliographic Details
Date:	1997
Main Authors:	Lisovik, L. P., Лисовик, Л. П.
Format:	Article
Language:	Russian English
Published:	Institute of Mathematics, NAS of Ukraine 1997
Online Access:	https://umj.imath.kiev.ua/index.php/umj/article/view/5084
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Ukrains’kyi Matematychnyi Zhurnal
Download file:

Institution

Ukrains’kyi Matematychnyi Zhurnal

Similar Items

Quantum Boolean algebras
by: Diaz, Rafael
Published: (2017)

Quantum Boolean algebras
by: Diaz, R.
Published: (2017)

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

Identification of boolean functions by methods of linear algebra
by: Skobelev, V. G., et al.
Published: (1995)

The independence of the Armstrong&#039;s axiomatic system and algebra of functional dependencies
by: D. B. Bui, et al.
Published: (2015)

Об одном методе задания фрактальных множеств
by: Лисовик, Л.П., et al.
Published: (2009)

Can Physics Be Constructed Axiomatically
by: Bass, F. G.
Published: (2013)

On the axiomatic definition of the generalized maximin principle
by: I. A. Pasichnichenko
Published: (2016)

AGI-agent cognitive architecture agica - axiomatic approach
by: S. Kornieiev
Published: (2023)

Integration of the description logics axiomatic into relational data model
by: I. S. Chistjakova
Published: (2017)

Axiomatic models and methods used to design of language translators
by: Parasyuk, I.N., et al.
Published: (2015)

Integration of the description logics axiomatic into relational data model
by: Chystiakova, I.S.
Published: (2018)

Fuzzy boolean variables and their applications
by: O. O. Provotar
Published: (2015)

Puzikova A.V. An axiomatics for multivalued dependences in tabular databases
by: V. N. Redko, et al.
Published: (2015)

Matrix characterization of symmetry groups of boolean functions
by: P. Jasionowski
Published: (2012)

Matrix characterization of symmetry groups of boolean functions
by: Jasionowski, P.
Published: (2012)

Characterization of clones of boolean operations by identities
by: Butkote, Runglawan, et al.
Published: (2018)

Evolutionary Models Boolean Programming Problem
by: I. V. Kozin
Published: (2013)

Characterization of clones of boolean operations by identities
by: Butkote, R., et al.
Published: (2007)

Earthquake focus as an excitable medium: consecutive axiomatics of scalar field description
by: A. S. Kostinskij
Published: (2014)

Axiomatic kernels of the main sociological approaches in research of social internet-networks
by: Ya. Vakhula
Published: (2013)

Parallel algorithms for solving the boolean quadratic programming problem
by: V. P. Shylo, et al.
Published: (2015)

The Axiomatics and Signs of Both the Life Genesis and the State Formation, Their Socio-Economic Provision
by: B. A. Karpinskyi, et al.
Published: (2020)

Demonstrating the advantages of axiomatic modeling on example solving a simple intellectual problem
by: V. A. Kondratenko
Published: (2015)

Matrix characterization of symmetry groups of boolean functions
by: Jasionowski, Pawel
Published: (2018)

Minimization of the conjunctive normal forms of partially monotonic Boolean functions
by: A. P. Pynko
Published: (2017)

Strongly P-clean and semi-Boolean group rings
by: D. Udar, et al.
Published: (2019)

Strongly $P$ -clean and semi-Boolean group rings
by: Udar, D., et al.
Published: (2020)

On τ-closed n-multiply ω-composition formations with Boolean sublattices
by: Zhiznevsky, P.
Published: (2010)

Complexity of sensitivity analysis for discrete programming problems with Boolean variables
by: N. V. Lishchuk
Published: (2015)

On an algorithm for constructing reduced DNF of order-prominent boolean functions
by: A. I. Timoshkin
Published: (2019)

On τ-closed totally saturated group formations with Boolean sublattices
by: Safonov, V.G.
Published: (2008)

On \(\tau\)-closed \(n\)-multiply \(\omega\)-composition formations with Boolean sublattices
by: Zhiznevsky, Pavel
Published: (2018)

The complexity of probabilistic sensitivity analysis procedures for integral Boolean programming problems
by: N. V. Lishchuk
Published: (2015)

Mathematical modeling of nilpotent subsemigroups of semigroups of contracting transformations of a Boolean
by: Selezneva, N. V., et al.
Published: (2009)

Overview of methods of reverse engineering of gene regulatory networks: Boolean and Bayesian networks
by: A. O. Frolova
Published: (2012)

Modeling local planner operation based on solution of nonlinear boolean programming problems
by: E. S. Listrovaja, et al.
Published: (2017)

Overview of methods of reverse engineering of gene regulatory networks: Boolean and Bayesian networks
by: Frolova, A.O.
Published: (2012)

Axiomatic Quantum Field Theory in Terms of Operator Product Expansions: General Framework, and Perturbation Theory via Hochschild Cohomology
by: Hollands, S.
Published: (2009)

An approximate algorithm for lexicographic search in multiple orders for the solution of the multidimensional boolean knapsack problem
by: S. V. Chupov
Published: (2018)