I looked up your papers... Then I noticed you have also worked on paraconsistent... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		unknown_apostle on Nov 17, 2020 \| parent \| context \| favorite \| on: What Gödel Discovered I looked up your papers... Then I noticed you have also worked on paraconsistent logic. So to just boldly go on a completely new tangent and ask a question I have long sought to ask: do you know a good introduction text for paraconsistent logic, for a graduate level computer science student?

ProfHewitt on Nov 17, 2020 [–]

Hello Unknown_apostle,

Thanks for looking at the articles!

The most up to date analysis of paraconsistent logic starts on page 11 of the following article:

https://papers.ssrn.com/abstract=3603021

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact