The following pages link to Introduction to Boolean Algebras (Q3533040):
Displaying 50 items.
- Conditional preference orders and their numerical representations (Q268632) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- Boolean-like algebras (Q353355) (← links)
- A refinement of Stone duality to skew Boolean algebras (Q451077) (← links)
- \(C^\ast\)-algebras associated to Boolean dynamical systems (Q511281) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- On the existence of undominated elements of acyclic relations (Q607267) (← links)
- Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) (Q723644) (← links)
- On topological spaces defined by \(\mathcal{I} \)-convergence (Q779715) (← links)
- Duality for \(\kappa\)-additive complete atomic modal algebras (Q829760) (← links)
- On Stalnaker's simple theory of propositions (Q830370) (← links)
- Concurrent weighted logic (Q890620) (← links)
- A groupoid approach to discrete inverse semigroup algebras (Q1047671) (← links)
- On a measurable analogue of small topological full groups (Q1639641) (← links)
- Banach synaptic algebras (Q1643479) (← links)
- Mathematical programming formulations for the efficient solution of the \(k\)-sum approval voting problem (Q1651649) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- Quantum one-way permutation over the finite field of two elements (Q1679363) (← links)
- Generic absoluteness and Boolean names for elements of a Polish space (Q1680748) (← links)
- There is no bound on sizes of indecomposable Banach spaces (Q1682013) (← links)
- Tarski monoids: Matui's spatial realization theorem (Q1689472) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Contextuality and noncommutative geometry in quantum mechanics (Q1720188) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Noncommutative Cantor-Bendixson derivatives and scattered \(C^*\)-algebras (Q1744609) (← links)
- Combinatorial bitstring semantics for arbitrary logical fragments (Q1749808) (← links)
- Plausible reasoning and graded information: a unified approach (Q1759707) (← links)
- A general framework for studying certain generalized topologically open sets in relator spaces (Q1982266) (← links)
- Principal abstract families of weighted tree languages (Q2064529) (← links)
- Group partition categories (Q2078959) (← links)
- Congruence-simplicity of Steinberg algebras of non-Hausdorff ample groupoids over semifields (Q2079634) (← links)
- Ordinary, super and hyper relators can be used to treat the various generalized open sets in a unified way (Q2080505) (← links)
- Set-theoretic properties of generalized topologically open sets in relator spaces (Q2080630) (← links)
- A type of algebraic structure related to sets of intervals (Q2088070) (← links)
- Representations of Sheffer stroke algebras and Visser algebras (Q2100205) (← links)
- Many weak P-sets (Q2105046) (← links)
- Minimally generated Boolean algebras and the Nikodym property (Q2105060) (← links)
- Properties of functions on a bounded charge space (Q2154471) (← links)
- Topologically semisimple and topologically perfect topological rings (Q2154812) (← links)
- Locally \(\sigma \)-complete and locally complete EMV-algebras (Q2156993) (← links)
- Base and weight of Boolean \(\mathrm{I}\)-contact algebras (Q2169258) (← links)
- The paradox of classical reasoning (Q2172063) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- Boolean algebras of conditionals, probability and logic (Q2211862) (← links)
- On the monotonicity of the number of positive entries in nonnegative five-element matrix powers (Q2238489) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- Relational representation theorems for extended contact algebras (Q2243545) (← links)
- Complete and atomic Tarski algebras (Q2274138) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
