Edit your profile

Lepage, François

Professeur honoraire

Contact:

Lepage, François

Research expertise

 

Mes travaux récents portent sur les interprétations probabilistes de la logique où la validité est définie en termes de probabilité, en particulier sur l'interprétation de la logique intuitionniste avec négation forte où la probabilité du conditionnel est la probabilité conditionnelle. Toujours en logique intuitionniste, je travaille à l'élaboration d'une méthode directe mixte (substitution à la Quine et formes normales) pour tester la validité intuitionniste en calcul propositionnel. Je développe également une méthode similaire pour la logique intuitionniste avec négation forte.J'ai également travaillé récemment sur l'Ontologie de Lesniewski et ses rapports avec la théorie des ensembles

Areas of expertise

Directed theses and dissertations available in Papyrus

For further information, please visit the French version of this Web site.