Introduction to Boolean Algebras
From MaRDI portal
Publication:3533040
DOI10.1007/978-0-387-68436-9zbMath1168.06001OpenAlexW626407659WikidataQ61632459 ScholiaQ61632459MaRDI QIDQ3533040
Publication date: 30 October 2008
Published in: Undergraduate Texts in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-0-387-68436-9
Stone spaces (Boolean spaces) and related structures (06E15) Structure theory of Boolean algebras (06E05) Chain conditions, complete algebras (06E10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)
Related Items (only showing first 100 items - show all)
Examples of Simply Reducible Groups ⋮ Conditional preference orders and their numerical representations ⋮ A method to enrich experimental datasets by means of numerical simulations in view of classification tasks ⋮ Reduction of database independence to dividing in atomless Boolean algebras ⋮ Adequacy and complete axiomatization for timed modal logic ⋮ Duality for \(\kappa\)-additive complete atomic modal algebras ⋮ On Stalnaker's simple theory of propositions ⋮ Further aspects of I K-convergence in topological spaces ⋮ 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 ⋮ On a measurable analogue of small topological full groups ⋮ Banach synaptic algebras ⋮ Real subset sums and posets with an involution ⋮ Properties of functions on a bounded charge space ⋮ Topologically semisimple and topologically perfect topological rings ⋮ Mathematical programming formulations for the efficient solution of the \(k\)-sum approval voting problem ⋮ Unnamed Item ⋮ Locally \(\sigma \)-complete and locally complete EMV-algebras ⋮ CELLULAR AUTOMATA OVER ALGEBRAIC STRUCTURES ⋮ Axiomatizations of universal classes through infinitary logic ⋮ Fourth- and Higher-order Interface Tracking Via Mapping and Adjusting Regular Semianalytic sets Represented by Cubic Splines ⋮ Boolean-like algebras ⋮ Separation, convexity and polarity in the space of normlinear functions ⋮ Base and weight of Boolean \(\mathrm{I}\)-contact algebras ⋮ The paradox of classical reasoning ⋮ A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors ⋮ Three roads to complete lattices: orders, compatibility, polarity ⋮ Matrix expression of finite Boolean-type algebras ⋮ Infinitary equilibrium logic and strongly equivalent logic programs ⋮ Are locally finite MV-algebras a variety? ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach ⋮ On the existence of undominated elements of acyclic relations ⋮ Arrow's decisive coalitions ⋮ Quantum one-way permutation over the finite field of two elements ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ Schopenhauer's partition diagrams and logical geometry ⋮ Combining and relating Aristotelian diagrams ⋮ There is no bound on sizes of indecomposable Banach spaces ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Concurrent weighted logic ⋮ Tarski monoids: Matui's spatial realization theorem ⋮ CHOICE-FREE STONE DUALITY ⋮ Valueless measures on pointless spaces ⋮ On the logical geometry of geometric angles ⋮ Boolean algebra of two-dimensional continua with arbitrarily complex topology ⋮ B-frame duality ⋮ On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry ⋮ Self-injectivity of M(X,A) versus M(X,A) modulo its socle ⋮ Some Properties of Complete Boolean Algebras ⋮ Von Neumann Algebras and Extensions of Inverse Semigroups ⋮ Boolean algebras of conditionals, probability and logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A refinement of Stone duality to skew Boolean algebras ⋮ Contextuality and noncommutative geometry in quantum mechanics ⋮ Unital hyperarchimedean vector lattices ⋮ Convenient antiderivatives for differential linear categories ⋮ Unique decomposition of homogeneous languages and application to isothetic regions ⋮ A semantic hierarchy for intuitionistic logic ⋮ A general framework for studying certain generalized topologically open sets in relator spaces ⋮ On the monotonicity of the number of positive entries in nonnegative five-element matrix powers ⋮ Transitivity of conservative diffeomorphisms isotopic to Anosov on ⋮ Noncommutative Cantor-Bendixson derivatives and scattered \(C^*\)-algebras ⋮ On the logic of belief and propositional quantification ⋮ Unnamed Item ⋮ \(C^\ast\)-algebras associated to Boolean dynamical systems ⋮ Relational representation theorems for extended contact algebras ⋮ Combinatorial bitstring semantics for arbitrary logical fragments ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Plausible reasoning and graded information: a unified approach ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Complete and atomic Tarski algebras ⋮ Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) ⋮ 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} ⋮ Principal abstract families of weighted tree languages ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Group partition categories ⋮ Congruence-simplicity of Steinberg algebras of non-Hausdorff ample groupoids over semifields ⋮ On topological spaces defined by \(\mathcal{I} \)-convergence ⋮ 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 groupoid approach to discrete inverse semigroup algebras ⋮ A type of algebraic structure related to sets of intervals ⋮ Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation ⋮ \(\aleph _0\)-categoricity of semigroups ⋮ Representations of Sheffer stroke algebras and Visser algebras ⋮ Completely positive matrices over Boolean algebras and their CP-rank ⋮ Many weak P-sets ⋮ Minimally generated Boolean algebras and the Nikodym property ⋮ Quotients of the Booleanization of an Inverse Semigroup ⋮ A representation of continuous lattices based on closure spaces
This page was built for publication: Introduction to Boolean Algebras
