Lattice functions and equations

MaRDI QIDQ2734536zbMATH OpenFDO

Authors Sergiu Rudeanu

Publication date 16 August 2001

zbMATH Keywords

Boolean algebraBoolean differential calculusBoolean equationBoolean functionlatticelattice equationlattice functionPost algebra

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Logical aspects of lattices and related structures (03G10) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Lattices (06B99) Boolean functions (06E30) Fault detection; testing in circuits and networks (94C12)

Review text

This is a companion of the author's earlier monograph: Boolean functions and equations, North-Holland, Amsterdam (1974; Zbl 0321.06013), subsequently quoted as BFE. Several results and concepts presented in BFE are updated and new results are specified in a more general context furnished by the lattice structure. Several applications in graph theory, synthesis of circuits, fault detection, databases and marketing are presented. The book is self-contained, includes a list of open problems and can be used successfully by graduate students in advanced studies. Computer scientists and mathematicians will find useful material for their research. Contents: Exotic equations; Universal algebra; Lattices; Equational compactness of lattices and Boolean algebras; Post algebras; A revision of Boolean fundamentals; Closure operators on Boolean functions; Boolean transformations; Boolean differential calculus; Decomposition of Boolean functions; Boolean-based mathematics; Applications.

Cited in

(31)

• On the resolution and optimization of a system of fuzzy relational equations with sup-\(T\) composition
• Compatibility of book-spaces with certain identities
• k-maxitive Sugeno integrals as aggregation models for ordinal preferences
• Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
• Decision-making with Sugeno integrals. Bridging the gap between multicriteria evaluation and decision under uncertainty
• Extensions of Boolean isometries
• All general solutions of Post equations
• Isotone lattice-valued Boolean functions and cuts
• Boolean Metric Spaces and Boolean Algebraic Varieties
• On unary lattice functions and Boolean functions
• Boolean transformations with unique fixed points
• A Note on Postian Matrix Theory
• scientific article; zbMATH DE number 1963548 (Why is no real title available?)
• scientific article; zbMATH DE number 2036206 (Why is no real title available?)
• Existence and number of fixed points of Boolean transformations via the semi-tensor product method
• Subsumptive general solutions and parametric general solutions of Post equations
• Some considerations in relation to the matrix equation \(AXB = C\)
• Prominent classes of the most general subsumptive solutions of Boolean equations
• Axiomatizing Boolean differentiation
• Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor
• New problems in universal algebraic geometry illustrated by Boolean equations
• Invariant functionals on completely distributive lattices
• Self-commuting lattice polynomial functions on chains
• Systems of k Boolean inequations and a Boolean equation
• Quasi-polynomial functions over bounded distributive lattices
• On the suppression of variables in Boolean equations
• A survey on fuzzy relational equations. I: Classification and solvability
• On the ranges of algebraic functions on lattices
• Boolean inequations
• Elements of algebraic geometry over a free semilattice
• Boolean sets and most general solutions of Boolean equations

This page was built for publication: Lattice functions and equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2734536)