Non-classical Logic in the TPTP

23 views
Skip to first unread message

Geoff Sutcliffe

unread,
Jul 16, 2021, 2:45:24 PMJul 16
to TPTP World
Hi all,

I'm starting this conversation for discussion of the proposal for non-classical logics in the TPTP.

Cheers,

Geoff

Alexander Steen

unread,
Jul 20, 2021, 4:57:26 AMJul 20
to TPTP World
Hi all,

Here are the (scribbled) notes of the discussion at CADE-28's topical zoom room on non-classical logics (file attachment doesn't seem to work, so I put a link instead): 

Thanks for the interesting discussion!

Best,
Alex

Geoff Sutcliffe

unread,
Sep 17, 2021, 11:12:35 AM (10 days ago) Sep 17
to TPTP World
Hi People in the TPTP World,

A while back I sent out an email to people who I know are interested in non-classical logic, announcing the work that has been done to build a framework for supporting non-classical logic in the TPTP World. All the feedback we have had has been positive, and only one small change has been made (to the syntax of the long form of non-classical connectives). I'm now pleased to open the discussion to the whole TPTP World community. Here's the original message ...

Over the last couple of months we have been building the framework for
supporting non-classical logics in the TPTP World. We now have enough
developed to do end-to-end processing of normal modal logic (generic,
alethic, deontic, and epistemic) problems ... from writing the problems
in the new syntax through to finding proofs using Leo-III. 

The framework we have designed is capable of much much more than normal 
modal logics, but we are limiting ourselves at first so we can can get 
feedback and refine our efforts. Everything is explained at ...
    http://www.tptp.org/NonClassicalLogic/

If you have suggestions, questions, contributions, etc., please do not 
email us :-) ... we'd love to hear from you in the TPTP World Google 
group ...
    https://groups.google.com/g/tptp-world
... where there is a conversation already started. (OK, we'll revert to
email for individual conversations.)

Cheers,

Geoff, Tobias (Gleissner), Alex (Steen), Chris (Benzmueller)


As before, feedback is welcome!

Cheers,

Geoff

Reply all
Reply to author
Forward
0 new messages