Re: [ontolog-forum] Paraconsistent Logic

[Tara Athan <tara_athan@xxxxxxxxxx>]

Based on the Stanford article, I would say that that following all qualify as paraconsistent logics (emphasis on the plural)
* Defeasible Logics
* Default Logics
* Fuzzy Logics
* Logic programming with negation as failure
It appears that paraconsistent logics must be non-monotonic. I think it is important to bear in mind that paraconsistent is a characteristic that a logic can have, but many different logics can have this characteristic.

Tara

On 7/15/14 9:28 PM, Rich Cooper wrote:

Here is an article that explains the basic math:

3.3 On the Philosophy and Mathematics

of the Logics of Formal Inconsistency

 

which starts on page 19 of the following URL:

http://www.paraconsistency.org/book/Handbook-WCP5.pdf

 

-Rich

 

Sincerely,

Rich Cooper

EnglishLogicKernel.com

Rich AT EnglishLogicKernel DOT com

9 4 9 \ 5 2 5 - 5 7 1 2

From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of joel luis carbonera
Sent: Tuesday, July 15, 2014 6:18 PM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: [ontolog-forum] Paraconsistent Logic

 

Hi all.

 

I think that I have found some applications:

 

A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse

http://link.springer.com/chapter/10.1007%2F978-3-540-30133-2_126

Application of paraconsistent logic to control problems (railway interlocking safety verification, traffic signal control etc)

 

Paraconsistent Annotated Logic Programs and Application to Intelligent Verification Systems

http://link.springer.com/chapter/10.1007/978-3-319-01866-9_9

 

Application of Paraconsistent Annotated Logic in Intelligent Systems

http://link.springer.com/chapter/10.1007/978-3-540-74171-8_69

Applications in logistics

 

--

____________________________________

CV: http://lattes.cnpq.br/0044387433155250

 
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
 

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)