2000 | ||
---|---|---|
4 | Francesco Orilia: Property Theory and The Revision Theory of Definitions. J. Symb. Log. 65(1): 212-246 (2000) | |
1996 | ||
3 | Francesco Orilia: A Contingent Russell's Paradox. Notre Dame Journal of Formal Logic 37(1): 105-111 (1996) | |
1995 | ||
2 | Francesco Orilia: Knowledge Representation, Exemplification, and the Gupta-Belnap Theory of Circular Definitions. AI*IA 1995: 187-198 | |
1991 | ||
1 | Francesco Orilia: Type-Free Property Theory, Exemplification and Russell's Paradox. Notre Dame Journal of Formal Logic 32(3): 432-447 (1991) |