François Lepage

According to our database, François Lepage authored at least 6 papers between 1992 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

A Square of Oppositions in Intuitionistic Logic with Strong Negation.

François Lepage

Logica Universalis, 2016

2003

Probabilistic Canonical Models for Partial Logics.

François Lepage, Charles Morgan

Notre Dame J. Formal Log., 2003

2001

Partial Probabilistic Interpretations and General Imaging.

François Lepage

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000

Introduction.

François Lepage, Elias Thijsse, Heinrich Wansing

Stud Logica, 2000

Partial Monotonic Protothetics.

François Lepage

Stud Logica, 2000

1992

Partial Functions in Type Theory.

François Lepage

Notre Dame J. Formal Log., 1992