François Lepage

Available identifiers

zbMath Open lepage.francoisMaRDI QIDQ346767

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5116393	2020-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q5283794	2017-07-25	Paper
A square of oppositions in intuitionistic logic with strong negation	2016-11-30	Paper
Cleland on Church's thesis and the limits of computation	2015-07-30	Paper
Partial probability functions and intuitionistic logic	2014-04-29	Paper
Revision with conditional probability functions: two impossibility results	2012-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3001358	2011-05-31	Paper
Are the definitions trivial: Russell, Poincaré, Leśniewski?	2010-02-05	Paper
The functional completeness of Leśniewski's systems	2007-05-02	Paper
Building and editing a sealed geological model	2005-01-17	Paper
An algebra for finitary ontology or a functionally complete language for the finitary theory of types	2002-02-26	Paper
Partial monotonic protothetics	2001-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4943268	2000-08-27	Paper
Conditionals, Imaging, and Subjunctive Probability	1999-10-28	Paper
Partial functions in type theory	1994-06-05	Paper

This page was built for person: François Lepage