You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

François Lepage

François Lepage authored the following 1 source, containing a total of 5 diagrams.: Lepage, François. 2016. “A Square of Oppositions in Intuitionistic Logic with Strong Negation.” Logica Universalis 10 (2–3): 327–338. (5 diagrams)

Go to source page >>