Non-classical Logic in the TPTP
28 views
Skip to first unread message
Geoff Sutcliffe
Jul 16, 2021, 2:45:24 PM7/16/21
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
Jul 20, 2021, 4:57:26 AM7/20/21
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
Sep 17, 2021, 11:12:35 AM9/17/21
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!
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