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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francis Jeffry Pelletier