Francis Jeffry Pelletier

Available identifiers

zbMath Open pelletier.francis-jeffryWikidataQ105299441 ScholiaQ105299441MaRDI QIDQ679253

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869221	2022-09-27	Paper
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics	2022-02-04	Paper
K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You	2020-08-10	Paper
JGXYZ: an ATP system for gap and glut logics	2020-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5215793	2020-02-13	Paper
Second-order logic of paradox	2018-12-21	Paper
Pecularities of some three- and four-valued second order logics	2018-12-12	Paper
Kernel Contraction and Base Dependence	2017-10-24	Paper
Sameness and Referential Opacity in Aristotle	2017-07-14	Paper
On finsler entropy of smooth distributions and Stefan-Sussman foliations	2015-06-10	Paper
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different	2015-02-27	Paper
Geometrical structures on the prolongation of a pre-Lie algebroid on fibered manifolds and application to Partial Finsler geometry on foliated anchored bundle	2014-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q3624148	2009-04-28	Paper
Is logic all in our heads? From naturalism to psychologism	2008-07-30	Paper
Synonymous logics: a correction	2008-04-09	Paper
Ternary Exclusive Or	2008-03-07	Paper
The case for psychologism in default and inheritance reasoning	2005-12-12	Paper
On some alleged misconceptions about fuzzy logic	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3150299	2003-09-21	Paper
Synonymous logics	2003-08-21	Paper
The IJCAR ATP system competition	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2771606	2002-02-24	Paper
A Brief History of Natural Deduction	2001-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q2702572	2001-10-10	Paper
A formal analysis of relevance	2001-03-22	Paper
Did Frege believe Frege's principle?	2001-02-18	Paper
Automated natural deduction in THINKER	2001-02-14	Paper
An erratum for some errata to ATP problems	1997-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4342071	1997-07-08	Paper
Identity in modal logic theorem proving	1994-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4013816	1992-09-27	Paper
Post's functional completeness theorem	1992-06-25	Paper
Errata to ``75 problems for testing automatic theorem provers	1988-01-01	Paper
On proving functional incompleteness in symbolic logic classes	1988-01-01	Paper
Seventy-five problems for testing automatic theorem provers	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698777	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3717023	1984-01-01	Paper
(X)	1982-01-01	Paper
Some notes concerning fuzzy logics	1977-01-01	Paper

Research outcomes over time

This page was built for person: Francis Jeffry Pelletier