Results 11 to 20 of about 2,008 (186)
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
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
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
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
The Boolean algebra of spectra
Commentarii Mathematici Helvetici, 1979 A K Bousfield
exaly +2 more sources
Discrete Mathematics, 1974 AbstractStudies of various algebraic structures which can be defined over a Boolean algebra by means of Boolean operations have been made by Bernstein [1, 2], Cunkle [3], Elliott [4], Frink [6, 7], Grätzer [8], Grätzer and Schmidt [9], Rudeanu [10, 11], Vaidyanathaswamy [12], Wiener [13], and others.
C. H. Cunkle, Sergiu Rudeanu
openaire +2 more sources
Annals of Pure and Applied Logic, 1985 Let \(\kappa\) be the cofinality of \(2^{\aleph_ 0}\). There exists a Boolean algebra B of cardinality \(\kappa\) with the property that every subset of B of size \(\kappa\) contains two elements a and b such that ...
Robert Bonnet, Saharon Shelah
openaire +2 more sources
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
Interpolative Boolean Networks
Complexity, 2017 Boolean networks are used for modeling and analysis of complex systems of interacting entities. Classical Boolean networks are binary and they are relevant for modeling systems with complex switch-like causal interactions.
Vladimir Dobrić +4 more
doaj +1 more source
Logic-based aggregation methods for ranking student applicants [PDF]
Yugoslav Journal of Operations Research, 2017 In this paper, we present logic-based aggregation models used for ranking student applicants and we compare them with a number of existing aggregation methods, each more complex than the previous one.
Milošević Pavle +4 more
doaj +1 more source