scientific article; zbMATH DE number 5268066
From MaRDI portal
Publication:5459443
zbMath1143.08001MaRDI QIDQ5459443
Publication date: 28 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Consistency and independence results (03E35) Algebraic structures (08Axx) Varieties (08Bxx) Other classes of algebras (08Cxx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (53)
A new approach for classification of filters in residuated lattices ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Congruence Boolean Lifting Property ⋮ Transformation of fractions into simple fractions in divisive meadows ⋮ CELLULAR AUTOMATA OVER ALGEBRAIC STRUCTURES ⋮ Categorical foundations of variety-based bornology ⋮ Unnamed Item ⋮ Varieties of Boolean inverse semigroups ⋮ On PBZ*-lattices ⋮ Katětov functors ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Lattice-valued soft algebras. ⋮ Weakly idempotent lattices and bilattices, non-idempotent Plonka functions. ⋮ On nontrivial weak dicomplementations and the lattice congruences that preserve them ⋮ The structure of certain unique classes of seminearrings ⋮ A simple logic of concepts ⋮ Subreducts and subvarieties of PBZ *-lattices* ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Unnamed Item ⋮ Invertible matrices over finite additively idempotent semirings ⋮ Unnamed Item ⋮ Projective bichains ⋮ Categorically algebraic topology versus universal topology ⋮ Algebraic Representation, Dualities and Beyond ⋮ Geometric constructibility of cyclic polygons and a limit theorem ⋮ The dual equivalence of equations and coequations for automata ⋮ REFLECTORS AND GLOBALIZATIONS OF PARTIAL ACTIONS OF GROUPS ⋮ Graph congruences and what they connote ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Factor congruence lifting property ⋮ Varieties of Birkhoff systems. I ⋮ Gap theorems for robust satisfiability: Boolean CSPs and beyond ⋮ An algebraic formulation of the locality principle in renormalisation ⋮ Amalgamation and interpolation in ordered algebras. ⋮ On the largest numbers of congruences of finite lattices ⋮ Division by zero in non-involutive meadows ⋮ Congruences on near-Heyting algebras ⋮ On the semisimple tensor product of MV-algebras ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Reducing concept lattices by means of a weaker notion of congruence ⋮ Symbolic constraint handling through unification in finite algebras ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ An algebraic study of multivariable integration and linear substitution ⋮ Complete topology on BCK-algebras ⋮ On countable n-valued Post algebras ⋮ Renormalisation and locality: branched zeta values ⋮ On the variety of Gödel MV-algebras ⋮ Topological residuated lattices ⋮ Quasi-Nelson algebras ⋮ Characteristic inference rules ⋮ On fuzzification of topological categories ⋮ Moded and continuous abstract state machines
Uses Software
This page was built for publication:
