Introduction to Boolean Algebras
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- A groupoid approach to discrete inverse semigroup algebras
- On a measurable analogue of small topological full groups
- Banach synaptic algebras
- Mathematical programming formulations for the efficient solution of the \(k\)-sum approval voting problem
- Axiomatizations of universal classes through infinitary logic
- Quantum one-way permutation over the finite field of two elements
- Generic absoluteness and Boolean names for elements of a Polish space
- There is no bound on sizes of indecomposable Banach spaces
- Tarski monoids: Matui's spatial realization theorem
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- Contextuality and noncommutative geometry in quantum mechanics
- A semantic hierarchy for intuitionistic logic
- Noncommutative Cantor-Bendixson derivatives and scattered \(C^*\)-algebras
- Combinatorial bitstring semantics for arbitrary logical fragments
- Plausible reasoning and graded information: a unified approach
- A general framework for studying certain generalized topologically open sets in relator spaces
- Principal abstract families of weighted tree languages
- Group partition categories
- Congruence-simplicity of Steinberg algebras of non-Hausdorff ample groupoids over semifields
- Ordinary, super and hyper relators can be used to treat the various generalized open sets in a unified way
- Set-theoretic properties of generalized topologically open sets in relator spaces
- A type of algebraic structure related to sets of intervals
- Representations of Sheffer stroke algebras and Visser algebras
- Many weak P-sets
- Minimally generated Boolean algebras and the Nikodym property
- Properties of functions on a bounded charge space
- Topologically semisimple and topologically perfect topological rings
- Locally -complete and locally complete EMV-algebras
- Base and weight of Boolean \(\mathrm{I}\)-contact algebras
- The paradox of classical reasoning
- Arrow's decisive coalitions
- Boolean algebras of conditionals, probability and logic
- On the monotonicity of the number of positive entries in nonnegative five-element matrix powers
- On the logic of belief and propositional quantification
- Relational representation theorems for extended contact algebras
- Complete and atomic Tarski algebras
- A calculus of regions respecting both measure and topology
- Mathematical logic of notions and concepts
- A general Banach-Stone type theorem and applications
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
- \(\aleph _0\)-categoricity of semigroups
- Completely positive matrices over Boolean algebras and their CP-rank
- A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors
- Infinitary equilibrium logic and strongly equivalent logic programs
- A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach
- Unital hyperarchimedean vector lattices
- Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
- Representations of polyadic-like equality algebras
- Three roads to complete lattices: orders, compatibility, polarity
- Matrix expression of finite Boolean-type algebras
- Are locally finite MV-algebras a variety?
- Schopenhauer's partition diagrams and logical geometry
- Combining and relating Aristotelian diagrams
- Valueless measures on pointless spaces
- Conditional preference orders and their numerical representations
- On the logical geometry of geometric angles
- B-frame duality
- Reduction of database independence to dividing in atomless Boolean algebras
- Adequacy and complete axiomatization for timed modal logic
- Logicism, interpretability, and knowledge of arithmetic
- Von Neumann algebras and extensions of inverse semigroups
- scientific article; zbMATH DE number 3884230 (Why is no real title available?)
- SECOND-ORDER BOOLEAN ALGEBRAS
- Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
- Boolean-like algebras
- Boolean Algebras Whose Ideals Are Disjointly Generated
- scientific article; zbMATH DE number 42239 (Why is no real title available?)
- scientific article; zbMATH DE number 47852 (Why is no real title available?)
- scientific article; zbMATH DE number 725286 (Why is no real title available?)
- A refinement of Stone duality to skew Boolean algebras
- Grzegorczyk algebras revisited
- Fourth- and higher-order interface tracking via mapping and adjusting regular semianalytic sets represented by cubic splines
- Reasoning about bounds in weighted transition systems
- The intuitionistic temporal logic of dynamical systems
- Introducing Boolean Semilattices
- Lectures on Boolean algebras
- Unique decomposition of homogeneous languages and application to isothetic regions
- Transitivity of conservative diffeomorphisms isotopic to Anosov on
- scientific article; zbMATH DE number 1926590 (Why is no real title available?)
- An algebraic approach for action based default reasoning
- Quotients of the Booleanization of an Inverse Semigroup
- A representation of continuous lattices based on closure spaces
- A method to enrich experimental datasets by means of numerical simulations in view of classification tasks
- Some Properties of Complete Boolean Algebras
- Further aspects of I K-convergence in topological spaces
- scientific article; zbMATH DE number 7626806 (Why is no real title available?)
- Real subset sums and posets with an involution
- Cellular automata over algebraic structures
- Separation, convexity and polarity in the space of normlinear functions
- A Hierarchy of Algebras for Boolean Subsets
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Choice-free Stone duality
- C^-algebras associated to Boolean dynamical systems
- Boolean algebra of two-dimensional continua with arbitrarily complex topology
- Strong completeness of modal logics over 0-dimensional metric spaces
- From Euler diagrams in Schopenhauer to Aristotelian diagrams in logical geometry
- Self-injectivity of \(\mathcal M(X, \mathcal A)\) versus \(\mathcal M(X, \mathcal A)\) modulo its socle
- Convenient antiderivatives for differential linear categories
This page was built for publication: Introduction to Boolean Algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3533040)
