scientific article; zbMATH DE number 3501560
From MaRDI portal
Publication:4083731
zbMath0321.06013MaRDI QIDQ4083731
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Polynomials over commutative rings (13B25) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Related Items
Boolean Metric Spaces and Boolean Algebraic Varieties ⋮ Iterative characterizations of Boolean algebras ⋮ Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations ⋮ The geometry of Boolean space and its elementary figures. I ⋮ On the complexity of Boolean unification ⋮ Measures on Boolean polynomials and their applications in data mining ⋮ All solutions of finite equations ⋮ Explicit formulae for the greatest least-squares and minimum norm \(g\)-inverses and the unique group inverse of matrices over commutative residuated dioids ⋮ Boolean algebra admits no convergent term rewriting system ⋮ Matrix and combinatorics solutions of Boolean differential equations ⋮ Negative Boolean constraints ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Running time experiments on some algorithms for solving propositional satisfiability problems ⋮ Embedding Boolean expressions into logic programming ⋮ General reproductive solutions of Postian equations ⋮ Processing in relational structures: Fuzzy relational equations ⋮ All general solutions of Post equations ⋮ Understanding one another: making out meanings with Boolean equations ⋮ Boolean differential equations ⋮ An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field ⋮ Horn sentences in Post algebras ⋮ Unification in Boolean rings ⋮ Boolean inequations ⋮ Fuzzy relational equations with generalized connectives and their applications ⋮ Linear Boolean equations and generalized minterms ⋮ Linear equations and interpolation in Boolean algebra ⋮ Formulas of general solutions of Boolean equations ⋮ On Postian algebraic equations ⋮ Formulas of general reproductive solutions of Boolean equations ⋮ On quadratic Boolean equations ⋮ On applications of associativity of dual compositions in the algebra of Boolean matrices ⋮ Families of solutions of nonlinear pseudo-boolean relations ⋮ A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers ⋮ On the suppression of variables in Boolean equations ⋮ Boolean Gröbner bases ⋮ Cut approach to invariance groups of lattice-valued functions ⋮ Segmental solutions of Boolean equations ⋮ Dominance solvable games and trees ⋮ Subsumptive general solutions and parametric general solutions of Post equations ⋮ On generalized Boolean functions. I ⋮ On generalized Boolean functions. II ⋮ Algebraic decomposition of discrete functions ⋮ Certain Boolean equations ⋮ Prominent classes of the most general subsumptive solutions of Boolean equations ⋮ Axiomatizing Boolean Differentiation ⋮ A pseudo-Boolean consensus approach to nonlinear 0-1 optimization ⋮ Using variable-entered karnaugh maps to solve boolean equations ⋮ On systems of Boolean equations ⋮ Reference, paradoxes and truth ⋮ Local properties of Boolean functions. I: Injectivity ⋮ Local properties of Boolean functions. II: Isotony ⋮ Difference operators and extended truth vectors for discrete functions ⋮ Boolean sets and most general solutions of Boolean equations ⋮ On the Computation of Elimination Ideals of Boolean Polynomial Rings ⋮ Relation equations in residuated lattices ⋮ A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper ⋮ Some remarks on number of parameters of the solutions of Boolean equations ⋮ Synthesis of linear sequential machines† ⋮ A note on finite topologies and switching functions ⋮ A survey on fuzzy relational equations. I: Classification and solvability ⋮ Algebraic Methods Versus Map Methods Of Solving Boolean Equations ⋮ Algebraic Methods Versus Map Methods Of Solving Boolean Equations ⋮ A characterization of Boolean collections of set-valued functions ⋮ A Mathematica Package for Simulation of Quantum Computation ⋮ On the resolution and optimization of a system of fuzzy relational equations with sup-\(T\) composition ⋮ Resolution of algebraic systems of equations in the variety of cyclic Post algebras ⋮ Boolean unification - the story so far ⋮ Isotone lattice-valued Boolean functions and cuts ⋮ Les dérivées partielles des fonctions pseudo-Booleennes généralisées ⋮ Extensions of Boolean isometries ⋮ Unnamed Item ⋮ Alternative definitions of Boolean functions and relations ⋮ Boolean transformations with unique fixed points ⋮ L-fuzzy category ⋮ On generalized Boolean functions. III. The case \(A=\{0,1\}\) ⋮ Solving systems of arbitrary equations ⋮ Subinverses of fuzzy matrices ⋮ Systems of k Boolean inequations and a Boolean equation ⋮ Unique solutions of Boolean ring equations ⋮ FUZZY RELATIONAL EQUATIONS: BRIDGING THEORY, METHODOLOGY AND PRACTICE ⋮ The general Steiner problem in Boolean space and application ⋮ Uniquely solvable quadratic Boolean equations
