[Top] [All Lists]

Re: [ontolog-forum] Paraconsistent Logic

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Tue, 15 Jul 2014 18:28:27 -0700
Message-id: <029b01cfa095$417a9e80$c46fdb80$@englishlogickernel.com>

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:






Rich Cooper


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

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


Application of Paraconsistent Annotated Logic in Intelligent Systems

Applications in logistics




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)

<Prev in Thread] Current Thread [Next in Thread>