On the public citation graph

Power structures

https://doi.org/10.1007/bf01196091

0 signed · 112 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-10007-5_48openalex-snapshot

Dijkstra's predicate transformers and smyth's powerdomains

inferredcites →https://doi.org/10.1007/978-94-009-6259-0_1openalex-snapshot

Basic Modal Logic

inferredcites →https://doi.org/10.1007/978-94-009-6259-0_10openalex-snapshot

Dynamic Logic

inferredcites →https://doi.org/10.1007/978-94-009-6259-0_4openalex-snapshot

Correspondence Theory

inferredcites →https://doi.org/10.1007/bf00370431openalex-snapshot

An algebraic study of well-foundedness

inferredcites →https://doi.org/10.1007/bf00370636openalex-snapshot

R?-algebras and R?-model structures as power constructs

inferredcites →https://doi.org/10.1007/bf01988052openalex-snapshot

The validity of equations of complex algebras

inferredcites →https://doi.org/10.1007/bf02017961openalex-snapshot

Homomorphisms, homomorphic relations and power algebras

inferredcites →https://doi.org/10.1007/bf02018279openalex-snapshot

Remarks on special homomorphic relations

inferredcites →https://doi.org/10.1007/bf02194887openalex-snapshot

On a representation of commutative semigroups

inferredcites →https://doi.org/10.1007/bf02195758openalex-snapshot

On the maximal semilattice decomposition of the power semigroup of a semigroup

inferredcites →https://doi.org/10.1007/bf02483728openalex-snapshot

Varieties of relation algebras

inferredcites →https://doi.org/10.1007/bf02485841openalex-snapshot

The operation ISKP on classes of algebras

inferredcites →https://doi.org/10.1007/bf02572813openalex-snapshot

On M-varieties generated by power monoids

inferredcites →https://doi.org/10.1007/bf02573209openalex-snapshot

Power pseudovarieties of semigroups I

inferredcites →https://doi.org/10.1007/bf02574198openalex-snapshot

Recognizable sets and power sets of finite semigroups

inferredcites →https://doi.org/10.1007/bf02945106openalex-snapshot

Permanence of identities on algebras

inferredcites →https://doi.org/10.1007/bfb0012801openalex-snapshot

Domains for denotational semantics

inferredcites →https://doi.org/10.1007/bfb0036946openalex-snapshot

Power domains and predicate transformers: A topological view

inferredcites →https://doi.org/10.1016/0012-365x(84)90188-2openalex-snapshot

Isotone relations and the fixed point property for posets

inferredcites →https://doi.org/10.1016/0021-8693(81)90179-4openalex-snapshot

Boolean modules

inferredcites →https://doi.org/10.1016/0022-0531(84)90080-2openalex-snapshot

A note on the extension of an order on a set to the power set

inferredcites →https://doi.org/10.1016/0097-3165(73)90019-8openalex-snapshot

Subgroups of the power semigroup of a group

inferredcites →https://doi.org/10.1016/0168-0072(89)90032-8openalex-snapshot

Varieties of complex algebras

inferredcites →https://doi.org/10.1016/0304-3975(85)90037-4openalex-snapshot

On powerdomains and modality

inferredcites →https://doi.org/10.1017/s000497270004380xopenalex-snapshot

On varieties closed under the construction of power algebras

inferredcites →https://doi.org/10.1017/s1446788700016980openalex-snapshot

Constructions preserving the associative and the commutative laws

inferredcites →https://doi.org/10.1080/16073606.1986.9632109openalex-snapshot

POWER STRUCTURES AND LOGIC

inferredcites →https://doi.org/10.1090/s0002-9939-1971-0274349-1openalex-snapshot

Fixed Points of Order Preserving Multifunctions

inferredcites →https://doi.org/10.1093/bjps/38.4.533openalex-snapshot

A Verisimilar Ordering of Theories Phrased in a Propositional Language

inferredcites →https://doi.org/10.1305/ndjfl/1093870308openalex-snapshot

A new foundation for the theory of relations.

inferredcites →https://doi.org/10.1307/mmj/1029000477openalex-snapshot

Representations of integral relation algebras.

inferredcites →https://doi.org/10.21236/ada462121openalex-snapshot

A Powerdomain Primer: A Tutorial for The Bulletin of the EATCS

inferredcites →https://doi.org/10.2307/2270619openalex-snapshot

Algebraic semantics for modal logics I

inferredcites →https://doi.org/10.2307/2274239openalex-snapshot

On the logic of theory change: Partial meet contraction and revision functions

inferredcites →https://doi.org/10.2307/2372123openalex-snapshot

Boolean Algebras with Operators. Part I

inferredcites →https://doi.org/10.4064/cm-48-1-1-5openalex-snapshot

Infinitary varieties of structures closed under the formation of complex structures

inferredcites →https://doi.org/10.4064/cm-56-1-19-29openalex-snapshot

Identities for globals (complex algebras) of algebras

inferredcites →https://doi.org/10.4064/fm-60-3-223-231openalex-snapshot

Some relational systems and the associated topological spaces

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9780470050118.ecse468openalex-snapshot

Granular Computing

inferred← citeshttps://doi.org/10.1002/malq.70018openalex-snapshot

Right‐Continuous Mappings and Fuzzy Ideals

inferred← citeshttps://doi.org/10.1007/11548133_26openalex-snapshot

Bireachability and Final Multialgebras

inferred← citeshttps://doi.org/10.1007/11828563_21openalex-snapshot

Monotone Predicate Transformers as Up-Closed Multirelations

inferred← citeshttps://doi.org/10.1007/3-540-44652-4_64openalex-snapshot

Orthogonal Relations for Reasoning about Abstract Events

inferred← citeshttps://doi.org/10.1007/3-540-44669-9_34openalex-snapshot

Compositional Homomorphisms of Relational Structures

inferred← citeshttps://doi.org/10.1007/3-540-63614-5_37openalex-snapshot

Interval approaches for uncertain reasoning

inferred← citeshttps://doi.org/10.1007/3-540-64299-4_48openalex-snapshot

Categories of relational structures

inferred← citeshttps://doi.org/10.1007/978-1-4471-0819-1_40openalex-snapshot

Granular Computing using Neighborhood Systems

inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_5openalex-snapshot

Relational Patterns, Partiality, and Set Lifting in Modal Semantics

inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_9openalex-snapshot

Implying and Containing in Truthmaker Semantics

inferred← citeshttps://doi.org/10.1007/978-3-031-75326-8_20openalex-snapshot

On the Isomorphism Problem for Power Semigroups

inferred← citeshttps://doi.org/10.1007/978-3-319-52228-9_1openalex-snapshot

A Discrete Geometric Model of Concurrent Program Execution

inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_12openalex-snapshot

Binary Multirelations

inferred← citeshttps://doi.org/10.1007/978-3-540-27794-1_11openalex-snapshot

A Partition Model of Granular Computing

inferred← citeshttps://doi.org/10.1007/978-3-540-39592-8_21openalex-snapshot

Granular Computing Based on Rough Sets, Quotient Space Theory, and Belief Functions

inferred← citeshttps://doi.org/10.1007/978-3-642-10646-0_48openalex-snapshot

Interval Set Cluster Analysis: A Re-formulation

inferred← citeshttps://doi.org/10.1007/978-3-662-48670-2_3openalex-snapshot

Set Optimization—A Rather Short Introduction

inferred← citeshttps://doi.org/10.1007/978-3-662-48670-2_4openalex-snapshot

A Survey of Set Optimization Problems with Set Solutions

inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_5openalex-snapshot

Advanced Many-Valued Logics

inferred← citeshttps://doi.org/10.1007/978-981-16-1819-2_6openalex-snapshot

Set Order Relations, Set Optimization, and Ekeland’s Variational Principle

inferred← citeshttps://doi.org/10.1007/978-981-97-8907-8_5openalex-snapshot

Results on Existence of l-Minimal and u-Minimal Solutions in Set-Valued Optimization: A Brief Survey

inferred← citeshttps://doi.org/10.1007/978-981-97-8907-8_6openalex-snapshot

Scalarization for Set Optimization in Vector Spaces

inferred← citeshttps://doi.org/10.1007/bf01204780openalex-snapshot

Remarks on power structures

inferred← citeshttps://doi.org/10.1007/bf01211604openalex-snapshot

Predicate transformers as power operations

inferred← citeshttps://doi.org/10.1007/bfb0027879openalex-snapshot

How triadic diagrams represent conceptual structures

inferred← citeshttps://doi.org/10.1007/pl00003923openalex-snapshot

Unification of Four Versions of Program Semantics

inferred← citeshttps://doi.org/10.1007/s00012-012-0201-4openalex-snapshot

Varieties generated by modes of submodes

inferred← citeshttps://doi.org/10.1007/s00153-008-0082-6openalex-snapshot

Fuzzy power structures

inferred← citeshttps://doi.org/10.1007/s00153-010-0181-zopenalex-snapshot

Good fuzzy preorders on fuzzy power structures

inferred← citeshttps://doi.org/10.1007/s10469-008-9036-7openalex-snapshot

Complex algebras of subalgebras

inferred← citeshttps://doi.org/10.1007/s10485-025-09817-zopenalex-snapshot

Higher Catoids, Higher Quantales and their Correspondences

inferred← citeshttps://doi.org/10.1007/s10898-007-9165-xopenalex-snapshot

Characterizing efficiency without linear structure: a unified approach

inferred← citeshttps://doi.org/10.1007/s10992-006-9043-xopenalex-snapshot

On Fork Arrow Logic and its Expressive Power

inferred← citeshttps://doi.org/10.1007/s10992-020-09588-zopenalex-snapshot

A Simple Logic of Functional Dependence

inferred← citeshttps://doi.org/10.1007/s11083-013-9297-1openalex-snapshot

The Lattice of Subvarieties of Semilattice Ordered Algebras

inferred← citeshttps://doi.org/10.1007/s11228-009-0109-0openalex-snapshot

A Duality Theory for Set-Valued Functions I: Fenchel Conjugation Theory

inferred← citeshttps://doi.org/10.1007/s11229-019-02447-8openalex-snapshot

Two traditions in abstract valuational model theory

inferred← citeshttps://doi.org/10.1016/0165-0114(93)90367-qopenalex-snapshot

A note on fuzzy power relations

inferred← citeshttps://doi.org/10.1016/0898-1221(94)00217-9openalex-snapshot

Towards automating duality

inferred← citeshttps://doi.org/10.1016/j.fss.2006.03.019openalex-snapshot

Approximate distances, pointless geometry and incomplete information

inferred← citeshttps://doi.org/10.1016/j.fss.2009.04.005openalex-snapshot

Algebras of fuzzy sets

inferred← citeshttps://doi.org/10.1016/j.fss.2014.09.010openalex-snapshot

On the composition of fuzzy power relations

inferred← citeshttps://doi.org/10.1016/j.fss.2015.08.011openalex-snapshot

Compatibility of fuzzy power relations

inferred← citeshttps://doi.org/10.1016/j.fss.2016.08.007openalex-snapshot

Complete relations on fuzzy complete lattices

inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109003openalex-snapshot

Granular fuzzy sets and three-way approximations of fuzzy sets

inferred← citeshttps://doi.org/10.1016/j.ins.2023.02.020openalex-snapshot

A topological approach to rough sets from a granular computing perspective

inferred← citeshttps://doi.org/10.1016/j.ins.2026.124135openalex-snapshot

Homogeneous and heterogeneous three-way granular approximations of fuzzy sets

inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.012openalex-snapshot

Developments in concurrent Kleene algebra

inferred← citeshttps://doi.org/10.1016/j.jmaa.2014.10.010openalex-snapshot

A Minty variational principle for set optimization

inferred← citeshttps://doi.org/10.1016/j.orl.2024.107071openalex-snapshot

Scalar representations and Hausdorff continuity of solution mappings to parametric set optimization problems via set less order relations

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80066-0openalex-snapshot

A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions

inferred← citeshttps://doi.org/10.1023/a:1023017025800openalex-snapshot

AFPP vs FPP

inferred← citeshttps://doi.org/10.1023/a:1024847106313openalex-snapshot

Squares in Fork Arrow Logic

inferred← citeshttps://doi.org/10.1080/02331930500096197openalex-snapshot

Optimization with set relations: conjugate duality

inferred← citeshttps://doi.org/10.1080/11663081.1999.10510971openalex-snapshot

Hyperboolean Algebras and Hyperboolean Modal Logic

inferred← citeshttps://doi.org/10.1080/16073606.1993.9631724openalex-snapshot

CATEGORICAL ASPECTS OF POWER ALGEBRAS

inferred← citeshttps://doi.org/10.1090/proc/17122openalex-snapshot

Semigroups of ideals and isomorphism problems

inferred← citeshttps://doi.org/10.1093/logcom/exac105openalex-snapshot

Modal structures in groups and vector spaces

inferred← citeshttps://doi.org/10.1109/coginf.2009.5250723openalex-snapshot

Interval sets and interval-set algebras

inferred← citeshttps://doi.org/10.1109/iccasm.2010.5622140openalex-snapshot

The dynamic construction strategy of domain multi-granularity network

inferred← citeshttps://doi.org/10.1109/ismvl.1998.679509openalex-snapshot

Multiple-valued hyperstructures

inferred← citeshttps://doi.org/10.1109/ismvl.2006.15openalex-snapshot

Commuting Hyperoperations

inferred← citeshttps://doi.org/10.1109/nafips.2000.877453openalex-snapshot

Interval based uncertain reasoning

inferred← citeshttps://doi.org/10.1134/s1995080225613815openalex-snapshot

On Undecidability Degree of Theory of Figures in Countable and Uncountable Linear Spaces

inferred← citeshttps://doi.org/10.1142/s0218196715500307openalex-snapshot

Closure operators on algebras

inferred← citeshttps://doi.org/10.1145/2874773openalex-snapshot

Convolution as a Unifying Concept

inferred← citeshttps://doi.org/10.1305/ndjfl/1040308827openalex-snapshot

Computing Verisimilitude

inferred← citeshttps://doi.org/10.18778/0138-0680.2023.23openalex-snapshot

A Category of Ordered Algebras Equivalent to the Category of Multialgebras

inferred← citeshttps://doi.org/10.21136/cmj.2018.0552-16openalex-snapshot

Some globally determined classes of graphs

inferred← citeshttps://doi.org/10.26907/2949-3919.2024.4.51-65openalex-snapshot

On undecidability degree of theory of figures in linear spaces

inferred← citeshttps://doi.org/10.3103/s1068362311010079openalex-snapshot

The generalized entropic property for a pair of operations

inferred← citeshttps://doi.org/10.70675/9adce0d7z9bc9z4bb4z9ec0z5dbc68a045b9openalex-snapshot

Algebraic and topological models of directed systems : Exploring dimensions of calculation via algebraic, categorical, and homotopical approaches

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.