Boolean-like algebras
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4174998 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3582215 (Why is no real title available?)
- scientific article; zbMATH DE number 1101410 (Why is no real title available?)
- scientific article; zbMATH DE number 823454 (Why is no real title available?)
- A Set of Independent Axioms for Boolean Algebra
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Actions of Boolean rings on sets
- Algebraizable logics
- Applying universal algebra to lambda calculus
- Dynamic algebras: Examples, constructions, applications
- Equivalential logics. I
- From λ-Calculus to Universal Algebra and Back
- Generalizations of Boolean products for lattice-ordered algebras
- Introduction to Boolean Algebras
- Joins and subdirect products of varieties
- MV-algebras and quantum computation
- On Hoare logic and Kleene algebra with tests
- On subtractive varieties II: General properties
- On subtractive varieties. I
- On subtractive varieties. III: From ideals to congruences
- On subtractive varieties. IV: Definability of principal ideals
- On the degrees of permutability of subregular varieties
- On the structure of varieties with equationally definable principal congruences. III
- On the structure of varieties with equationally definable principal congruences. IV
- Quasi-discriminator varieties
- Quasi-subtractive varieties
- Remarks on Boolean products
- Representations by algebras of sections over Boolean spaces
- Residuated lattices. An algebraic glimpse at substructural logics
- Semigroups with if-then-else and halting programs
- Sheaf Constructions and Their Elementary Properties
- Skew Boolean algebras and discriminator varieties
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Varieties in which the Pierce stalks are directly indecomposable
Cited in
(26)- On semi-Boolean-like algebras.
- scientific article; zbMATH DE number 4055615 (Why is no real title available?)
- On some properties of directoids
- The connection of skew Boolean algebras and discriminator varieties to Church algebras
- Dual binary discriminator varieties
- scientific article; zbMATH DE number 5284449 (Why is no real title available?)
- Coextensive varieties via central elements
- Skew Boolean algebras
- scientific article; zbMATH DE number 57848 (Why is no real title available?)
- Boolean product representations of algebras via binary polynomials
- Constructive Boolean algebras
- Quasi-discriminator varieties
- Compatible idempotent terms in universal algebra.
- BOOLEAN ALGEBRAS IN AST
- Boolean algebras of conditionals, probability and logic
- scientific article; zbMATH DE number 1205887 (Why is no real title available?)
- Comparison of Boolean algebras
- Playful Boolean Algebras
- A new view of effects in a Hilbert space
- On noncommutative generalisations of Boolean algebras
- An algebraic theory of clones
- scientific article; zbMATH DE number 66911 (Why is no real title available?)
- scientific article; zbMATH DE number 3991565 (Why is no real title available?)
- scientific article; zbMATH DE number 1109586 (Why is no real title available?)
- Factor varieties
- Pseudo-trees and Boolean algebras
This page was built for publication: Boolean-like algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353355)
