scientific article; zbMATH DE number 3366941
From MaRDI portal
Publication:5639727
zbMath0232.06001MaRDI QIDQ5639727
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Pseudo Commutative Double Basic Algebras ⋮ Stone Relation Algebras ⋮ Lattice equations and their solutions with complexity of polynomial class ⋮ Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Flat Semilattices ⋮ Formalized token models and duality in semantics: an algebraic approach ⋮ Ideals of core regular double Stone algebra ⋮ Quasi‐Stone algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unified Algebras and action semantics ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit ⋮ Closed Weak Supplemented Lattices ⋮ Continuous selections of linear functions and nonsmooth critical point theory ⋮ Graph Information Ratio ⋮ Mathematical reflections on locality ⋮ Congruences on distributive pseudocomplemented lattices ⋮ Discrete posets, cell complexes, and the global dimension of tiled orders ⋮ Unnamed Item ⋮ On endomorphisms of power-semigroups ⋮ Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices ⋮ Congruence pairs of principal MS-algebras and perfect extensions ⋮ Free products of bounded distributive lattices ⋮ Maximal Sublattices of Finite Distributive Lattices ⋮ Spectral spaces of countable Abelian lattice-ordered groups ⋮ Extending Congruences on Semigroups ⋮ Nonconstant Endomorphisms of Lattices ⋮ (S,N)-Implications on Bounded Lattices ⋮ Subdirectly irreducible distributive double p-algebras ⋮ The tensor product of semilattices ⋮ Subdirectly irreducible distributive double p-algebras ⋮ Principal Congruences of Pseudocomplemented Distributive Lattices ⋮ Affine complete Stone algebras ⋮ Why the characteristic polynomial factors ⋮ Affine complete Stone algebras ⋮ On selected developments in the theory of natural dualities ⋮ Unnamed Item ⋮ A note on ℵ0-categorical model-companions ⋮ The tensor product of distributive lattices II ⋮ Transferring Optimal Dualities: Theory and Practice ⋮ Unnamed Item ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ δ-Ideals in pseudo-complemented distributive join-semilattices ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem ⋮ Constraction of a core regular double MS-algebra ⋮ Unnamed Item ⋮ A Logical Autobiography ⋮ Unnamed Item ⋮ The median function on distributive semilattices ⋮ Some applications of a generalized Martin's axiom ⋮ On \(P\)-hyperlattices and their distributivity ⋮ Partition-induced natural dualities for varieties of pseudo-complemented distributive lattices ⋮ Stability of abstract Markov processes ⋮ Robinson lattices and their spectra ⋮ Unnamed Item ⋮ Spaces with unique Hausdorff extensions ⋮ An algebraic theory of normal forms ⋮ Fibonacci Numbers and Self-Dual Lattice Structures for Plane Branches ⋮ Finitely Presented Lattices ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ Decomposition theorem on matchable distributive lattices ⋮ How to construct a product of a-frames ⋮ Overlaps in free partially commutative monoids ⋮ Invariant subspaces of the ring of functions on a vector space over a finite field ⋮ Varieties of complex algebras ⋮ Representation of finite demi-\(p\)-lattices by means of posets ⋮ Birkhoff-like sheaf representation for varieties of lattice expansions ⋮ Automaton logic ⋮ Homomorphisms and subalgebras of decomposable MS-algebras ⋮ Compatibility of observables on effect algebras ⋮ On affine completeness of distributive p-algebras ⋮ Extension of a Theorem of Gudder and Schelp to Polynomials of Orthomodular Lattices ⋮ Extreme learning machine for a new hybrid morphological/linear perceptron ⋮ The structure of distributive double p-algebras. Regularity and congruences ⋮ The Kosko subsethood fuzzy associative memory (KS-FAM): mathematical background and applications in computer vision ⋮ Tunable equivalence fuzzy associative memories ⋮ The prime and maximal spectra and the reticulation of BL-algebras ⋮ Homology of distributive lattices ⋮ Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras) ⋮ Counting inequivalent monotone Boolean functions. ⋮ Congruence pairs of principal p-algebras ⋮ Lattice-theoretic properties of algebras of logic ⋮ On solutions to evolution equations defined by lattice operators ⋮ Rough Algebraic Structures Corresponding to Ring Theory ⋮ Unnamed Item ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Optimal Natural Dualities ⋮ Model-completions for abelian lattice-ordered groups with finitely many disjoint elements ⋮ Existentially closed closure algebras ⋮ Coproducts of De Morgan algebras ⋮ Perfect extensions of de Morgan algebras ⋮ Kernel ideals and cokernel filters of a p-algebra ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ Near-equational and equational systems of logic for partial functions. I ⋮ Unnamed Item ⋮ Free Heyting algebras
This page was built for publication:
