Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • R⌝-algebras and r⌝-model structures as power constructs.Chris Brink - 1989 - Studia Logica 48 (1):85 - 109.
    In relevance logic it has become commonplace to associate with each logic both an algebraic counterpart and a relational counterpart. The former comes from the Lindenbaum construction; the latter, called a model structure, is designed for semantical purposes. Knowing that they are related through the logic, we may enquire after the algebraic relationship between the algebra and the model structure. This paper offers a complete solution for the relevance logic R. Namely, R-algebras and R-model structures can be obtained from each (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • False though partly true – an experiment in logic.Lloyd Humberstone - 2003 - Journal of Philosophical Logic 32 (6):613-665.
    We explore in an experimental spirit the prospects for extending classical propositional logic with a new operator P intended to be interpreted when prefixed to a formula as saying that formula in question is at least partly true. The paradigm case of something which is, in the sense envisaged, false though still "partly" true is a conjunction one of whose conjuncts is false while the other is true. Ideally, we should like such a logic to extend classical logic - or (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations