François Lepage

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 1

Top Topics

Intuitionistic Logic

Proof Theoretic

Top Venues

Logica Universalis

Publications

François Lepage
A Square of Oppositions in Intuitionistic Logic with Strong Negation. Logica Universalis 10 (2-3) (2016)
François Lepage, Charles Morgan
Probabilistic Canonical Models for Partial Logics. Notre Dame J. Formal Log. 44 (3) (2003)
François Lepage
Partial Probabilistic Interpretations and General Imaging. DEXA Workshop (2001)
François Lepage
Partial Monotonic Protothetics. Stud Logica 66 (1) (2000)
François Lepage, Elias Thijsse, Heinrich Wansing
Introduction. Stud Logica 66 (1) (2000)
François Lepage
Partial Functions in Type Theory. Notre Dame J. Formal Log. 33 (4) (1992)