The following pages link to Francis Jeffry Pelletier (Q679253):
Displaying 38 items.
- An erratum for some errata to ATP problems (Q679255) (← links)
- Identity in modal logic theorem proving (Q687161) (← links)
- (Q934822) (redirect page) (← links)
- Is logic all in our heads? From naturalism to psychologism (Q934825) (← links)
- Seventy-five problems for testing automatic theorem provers (Q1101242) (← links)
- Errata to ``75 problems for testing automatic theorem provers'' (Q1101243) (← links)
- On proving functional incompleteness in symbolic logic classes (Q1119618) (← links)
- (X) (Q1161514) (← links)
- Post's functional completeness theorem (Q1173782) (← links)
- Synonymous logics (Q1404389) (← links)
- Automated natural deduction in THINKER (Q1577335) (← links)
- A formal analysis of relevance (Q1583743) (← links)
- The IJCAR ATP system competition (Q1610672) (← links)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- On some alleged misconceptions about fuzzy logic (Q1768896) (← links)
- Did Frege believe Frege's principle? (Q1841520) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- Synonymous logics: a correction (Q2481245) (← links)
- The case for psychologism in default and inheritance reasoning (Q2576424) (← links)
- (Q2702572) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- (Q2771606) (← links)
- (Q3150299) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- (Q3624148) (← links)
- (Q3698777) (← links)
- (Q3717023) (← links)
- (Q4013816) (← links)
- Some notes concerning fuzzy logics (Q4117818) (← links)
- (Q4342071) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- (Q5215793) (← links)
- Sameness and Referential Opacity in Aristotle (Q5275687) (← links)
- Kernel Contraction and Base Dependence (Q5371010) (← links)
- Ternary Exclusive Or (Q5448850) (← links)
- (Q5869221) (← links)
