Results 131 to 140 of about 3,079 (232)

Piecewise Boolean Algebras and Their Domains [PDF]

, 2014
We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise Boolean domains equipped with an orientation, or as full structure sheaves on piecewise Boolean domains.
openaire   +4 more sources

Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]

Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core  

Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]

Order (Dordr), 2023
Couceiro M, Duffus D.
europepmc   +1 more source

Robbins Algebras vs. Boolean Algebras 1

, 2008
algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. The solution (afirmative answer) was given in 1996 by Mc-Cune with the help of automated theorem prover EQP/OTTER.
Adam Grabowski
core  

Solving equations in pure double Boolean algebras

, 2016
Hosted by the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016, Porto, June 2016)International audienceHerrmann et al. (2000) have generalized lattices of concepts to algebras of semiconcepts.
Balbiani, Philippe
core   +1 more source

Orthopseudorings and congruences on distributive lattice with dual weak complementation. [PDF]

Heliyon, 2023
Rezk EG.
europepmc   +1 more source

Sheffer operation in relational systems. [PDF]

Soft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source

A construction of Boolean algebras from first-order structures

, 1993
We give a construction assigning classes of Boolean algebras to first-order theories; several classes of Boolean algebras considered previously in the literature can be thus obtained. In particular it turns out that the class of semigroup algebras can be
Koppelberg, Sabine
core   +1 more source

On Boolean posets of numerical events. [PDF]

Adv Comput Intell, 2021
Dorninger D, Länger H.
europepmc   +1 more source

AN INTRODUCTION TO BOOLEAN ALGEBRAS

, 2016
This thesis discusses the topic of Boolean algebras. In order to build intuitive understanding of the topic, research began with the investigation of Boolean algebras in the area of Abstract Algebra. The content of this initial research used a particular
Schardijn, Amy, Snowden, Andrew
core