Buchumschlag

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.

Gespeichert in:

Bibliographische Detailangaben
Datum:	1997
Hauptverfasser:	Lisovik, L. P., Лисовик, Л. П.
Format:	Artikel
Sprache:	Russisch Englisch
Veröffentlicht:	Institute of Mathematics, NAS of Ukraine 1997
Online Zugang:	https://umj.imath.kiev.ua/index.php/umj/article/view/5084
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Institution

Ukrains’kyi Matematychnyi Zhurnal

Ähnliche Einträge

Quantum Boolean algebras
von: Diaz, Rafael
Veröffentlicht: (2017)

Quantum Boolean algebras
von: Diaz, R.
Veröffentlicht: (2017)

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

Identification of boolean functions by methods of linear algebra
von: Skobelev, V. G., et al.
Veröffentlicht: (1995)

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

Can Physics Be Constructed Axiomatically
von: Bass, F. G.
Veröffentlicht: (2013)

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

On the axiomatic definition of the generalized maximin principle
von: I. A. Pasichnichenko
Veröffentlicht: (2016)

AGI-agent cognitive architecture agica - axiomatic approach
von: S. Kornieiev
Veröffentlicht: (2023)

Integration of the description logics axiomatic into relational data model
von: I. S. Chistjakova
Veröffentlicht: (2017)

Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Integration of the description logics axiomatic into relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2018)

Fuzzy boolean variables and their applications
von: O. O. Provotar
Veröffentlicht: (2015)

Puzikova A.V. An axiomatics for multivalued dependences in tabular databases
von: V. N. Redko, et al.
Veröffentlicht: (2015)

Earthquake focus as an excitable medium: consecutive axiomatics of scalar field description
von: A. S. Kostinskij
Veröffentlicht: (2014)

Axiomatic kernels of the main sociological approaches in research of social internet-networks
von: Ya. Vakhula
Veröffentlicht: (2013)

Matrix characterization of symmetry groups of boolean functions
von: Jasionowski, P.
Veröffentlicht: (2012)

Matrix characterization of symmetry groups of boolean functions
von: P. Jasionowski
Veröffentlicht: (2012)

Characterization of clones of boolean operations by identities
von: Butkote, Runglawan, et al.
Veröffentlicht: (2018)

Evolutionary Models Boolean Programming Problem
von: I. V. Kozin
Veröffentlicht: (2013)

Characterization of clones of boolean operations by identities
von: Butkote, R., et al.
Veröffentlicht: (2007)

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

Demonstrating the advantages of axiomatic modeling on example solving a simple intellectual problem
von: V. A. Kondratenko
Veröffentlicht: (2015)

Parallel algorithms for solving the boolean quadratic programming problem
von: V. P. Shylo, et al.
Veröffentlicht: (2015)

Matrix characterization of symmetry groups of boolean functions
von: Jasionowski, Pawel
Veröffentlicht: (2018)

Minimization of the conjunctive normal forms of partially monotonic Boolean functions
von: A. P. Pynko
Veröffentlicht: (2017)

Strongly P-clean and semi-Boolean group rings
von: D. Udar, et al.
Veröffentlicht: (2019)

Strongly $P$ -clean and semi-Boolean group rings
von: Udar, D., et al.
Veröffentlicht: (2020)

On τ-closed n-multiply ω-composition formations with Boolean sublattices
von: Zhiznevsky, P.
Veröffentlicht: (2010)

On τ-closed totally saturated group formations with Boolean sublattices
von: Safonov, V.G.
Veröffentlicht: (2008)

Complexity of sensitivity analysis for discrete programming problems with Boolean variables
von: N. V. Lishchuk
Veröffentlicht: (2015)

On an algorithm for constructing reduced DNF of order-prominent boolean functions
von: A. I. Timoshkin
Veröffentlicht: (2019)

On \(\tau\)-closed \(n\)-multiply \(\omega\)-composition formations with Boolean sublattices
von: Zhiznevsky, Pavel
Veröffentlicht: (2018)

The complexity of probabilistic sensitivity analysis procedures for integral Boolean programming problems
von: N. V. Lishchuk
Veröffentlicht: (2015)

Mathematical modeling of nilpotent subsemigroups of semigroups of contracting transformations of a Boolean
von: Selezneva, N. V., et al.
Veröffentlicht: (2009)

Overview of methods of reverse engineering of gene regulatory networks: Boolean and Bayesian networks
von: Frolova, A.O.
Veröffentlicht: (2012)

Overview of methods of reverse engineering of gene regulatory networks: Boolean and Bayesian networks
von: A. O. Frolova
Veröffentlicht: (2012)

Modeling local planner operation based on solution of nonlinear boolean programming problems
von: E. S. Listrovaja, et al.
Veröffentlicht: (2017)

On the asymptotic normality of the number of false solutions of a system of nonlinear random Boolean equations
von: Masol, V., et al.
Veröffentlicht: (2007)

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