Results 11 to 20 of about 650,064 (276)
Computer Applications in Engineering Education, 2020 One of the fundamental topics in the education of students enrolled in computer‐related degrees is that of Boolean algebra. This is because it allows the expression of several problems related to digital design, artificial intelligence, databases ...
Eréndira M. Jiménez-Hernández +3 more
semanticscholar +1 more source
Constructive version of Boolean algebra [PDF]
Logic Journal of the IGPL, 2012 The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds classically to ...
Francesco Ciraulo +2 more
semanticscholar +1 more source
Mutually Exclusive Nuances of Truth in Moisil Logic [PDF]
Scientific Annals of Computer Science, 2015 Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.
D. Diaconescu, I. Leuștean
doaj +1 more source
0-Hecke Algebra Action on the Stanley-Reisner Ring of the Boolean Algebra [PDF]
, 2013 We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood
Jia Huang
semanticscholar +1 more source
Identification of control targets in Boolean molecular network models via computational algebra [PDF]
BMC Systems Biology, 2015 BackgroundMany problems in biomedicine and other areas of the life sciences can be characterized as control problems, with the goal of finding strategies to change a disease or otherwise undesirable state of a biological system into another, more ...
semanticscholar +1 more source
De Morgan Functions and Free De Morgan Algebras
Demonstratio Mathematica, 2014 It is commonly known that the free Boolean algebra on n free generators is isomorphic to the Boolean algebra of Boolean functions of n variables. The free bounded distributive lattice on n free generators is isomorphic to the bounded lattice of monotone ...
Movsisyan Yu. M. +2 more
doaj +1 more source
Regular and Boolean elements in hoops and constructing Boolean algebras using regular filters
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2023 We study hoops in order to give some new characterizations for regular and Boolean elements in hoops and we study the relationship between them. Specially, we prove that any bounded v-hoop is a Stone algebra if and only if MV -center set and Boolean ...
Aaly Kologani M. +2 more
doaj +1 more source
Playful Boolean algebras [PDF]
Transactions of the American Mathematical Society, 1986 We show that for an atomless complete Boolean algebra B \mathcal {B} of density ≤ 2 ℵ 0 \leq {2^{{\aleph _0}}} , the Banach-Mazur, the split ...
openaire +2 more sources
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
International Journal of Computational Intelligence Systems, 2019 This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras.
Wei Wang, Pengxi Yang, Yang Xu
doaj +1 more source
Class of Sheffer stroke BCK-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022 In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It is indicated that the axioms of a Sheffer stroke BCK-algebra are independent.
Oner Tahsin +2 more
doaj +1 more source