Switch to: References

Add citations

You must login to add citations.
  1. Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Graded Structures of Opposition in Fuzzy Natural Logic.Petra Murinová - 2020 - Logica Universalis 14 (4):495-522.
    The main objective of this paper is devoted to two main parts. First, the paper introduces logical interpretations of classical structures of opposition that are constructed as extensions of the square of opposition. Blanché’s hexagon as well as two cubes of opposition proposed by Morreti and pairs Keynes–Johnson will be introduced. The second part of this paper is dedicated to a graded extension of the Aristotle’s square and Peterson’s square of opposition with intermediate quantifiers. These quantifiers are linguistic expressions such (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation