Power structures
From MaRDI portal
Publication:1802251
DOI10.1007/BF01196091zbMath0787.08001OpenAlexW4240175364MaRDI QIDQ1802251
Publication date: 18 July 1993
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01196091
Subalgebras, congruence relations (08A30) Structure theory of algebraic structures (08A05) Relational systems, laws of composition (08A02) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Convolution as a Unifying Concept ⋮ Hyperboolean Algebras and Hyperboolean Modal Logic ⋮ A duality theory for set-valued functions. I: Fenchel conjugation theory ⋮ Developments in concurrent Kleene algebra ⋮ Towards automating duality ⋮ Closure operators on algebras ⋮ Predicate transformers as power operations ⋮ Approximate distances, pointless geometry and incomplete information ⋮ Remarks on power structures ⋮ Hyperspace of a fuzzy quasi-uniform space ⋮ Neighborhood systems and approximate retrieval ⋮ Computing verisimilitude ⋮ On the composition of fuzzy power relations ⋮ Compatibility of fuzzy power relations ⋮ Unnamed Item ⋮ Varieties generated by modes of submodes ⋮ Two traditions in abstract valuational model theory ⋮ Squares in fork arrow logic ⋮ Complete relations on fuzzy complete lattices ⋮ Granular fuzzy sets and three-way approximations of fuzzy sets ⋮ On some congruences of power algebras ⋮ A Category of Ordered Algebras Equivalent to the Category of Multialgebras ⋮ Complex algebras of subalgebras ⋮ A Discrete Geometric Model of Concurrent Program Execution ⋮ False though partly true -- an experiment in logic ⋮ A Minty variational principle for set optimization ⋮ The generalized entropic property for a pair of operations. ⋮ On fork arrow logic and its expressive power ⋮ Characterizing efficiency without linear structure: a unified approach ⋮ Fuzzy power structures ⋮ A simple logic of functional dependence ⋮ A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions ⋮ Good fuzzy preorders on fuzzy power structures ⋮ The lattice of subvarieties of semilattice ordered algebras. ⋮ Set Optimization—A Rather Short Introduction ⋮ A Survey of Set Optimization Problems with Set Solutions ⋮ Unnamed Item ⋮ Optimization with set relations: conjugate duality ⋮ Unnamed Item ⋮ Algebras of fuzzy sets ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on the extension of an order on a set to the power set
- Varieties of relation algebras
- Isotone relations and the fixed point property for posets
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
- On M-varieties generated by power monoids
- On powerdomains and modality
- Power pseudovarieties of semigroups. I
- An algebraic study of well-foundedness
- Recognizable sets and power sets of finite semigroups
- Homomorphisms, homomorphic relations and power algebras
- Boolean modules
- The operation ISKP on classes of algebras
- Remarks on special homomorphic relations
- On the maximal semilattice decomposition of the power semigroup of a semigroup
- Permanence of identities on algebras
- Subgroups of the power semigroup of a group
- Varieties of complex algebras
- The validity of equations of complex algebras
- On the logic of theory change: Partial meet contraction and revision functions
- Identities for globals (complex algebras) of algebras
- A Verisimilar Ordering of Theories Phrased in a Propositional Language
- On varieties closed under the construction of power algebras
- POWER STRUCTURES AND LOGIC
- Algebraic semantics for modal logics I
- Some relational systems and the associated topological spaces
- Fixed Points of Order Preserving Multifunctions
- Boolean Algebras with Operators. Part I
