Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Dijkstra Scholten Logic


view this post on Zulip Email Gateway (Aug 22 2022 at 11:47):

From: Rustom Mody <rustompmody@gmail.com>
Very new to Isabelle and theorem proving, so my questions may be stupid.
Please excuse!

I am interested in tools to help students with Dijkstra Scholten equational
logic
I find that there is one formalization in Maude:
https://www.ideals.illinois.edu/bitstream/handle/2142/11411/A%20Rewriting%20Decision%20Procedure%20for%20Dijkstra-Scholten's%20Syllogistic%20Logic%20with%20Complements.pdf?sequence=2

Is redoing that in Isabelle a reasonable idea?

Regards
Rusi


Last updated: Mar 29 2024 at 04:18 UTC