Switch to: References

Citations of:

A Paradigm for Program Semantics: Power Structures and Duality

Center for the Study of Language and Inf (2001)

Add citations

You must login to add citations.
  1. Good fuzzy preorders on fuzzy power structures.Hongliang Lai & Dexue Zhang - 2010 - Archive for Mathematical Logic 49 (4):469-489.
    This paper deals with good fuzzy preorders on fuzzy power structures. It is shown that a fuzzy preorder R on an algebra ${(X,\mathbb{F})}$ is compatible if and only if it is Hoare good, if and only if it is Smyth good.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Fuzzy power structures.George Georgescu - 2008 - Archive for Mathematical Logic 47 (3):233-261.
    Power structures are obtained by lifting some mathematical structure (operations, relations, etc.) from an universe X to its power set ${\mathcal{P}(X)}$ . A similar construction provides fuzzy power structures: operations and fuzzy relations on X are extended to operations and fuzzy relations on the set ${\mathcal{F}(X)}$ of fuzzy subsets of X. In this paper we study how this construction preserves some properties of fuzzy sets and fuzzy relations (similarity, congruence, etc.). We define the notions of good, very good, Hoare good (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Three dual ontologies.Chris Brink & Ingrid Rewitzky - 2002 - Journal of Philosophical Logic 31 (6):543-568.
    In this paper we give an example of intertranslatability between an ontology of individuals (nominalism), an ontology of properties (realism), and an ontology of facts (factualism). We demonstrate that these three ontologies are dual to each other, meaning that each ontology can be translated into, and recaptured from, each of the others. The aiin of the enterprise is to raise the possibility that, at least in some settings, there may be no need for considerations of ontological primacy. Whether the world (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations