Versions

1 version

Choose the version you want to view.
Program created.

Tags

5 tags

Click on a tag to show all related programs.
proof axiomatic system jan Łukasiewicz

Comments

0 comments »

Click on the badge to open the comment window for viewing and writing comments.

No comments yet.

Jan Łukasiewicz axiomatic proof system

implemented in Curry

Created by gurmeet on June 17, 2024
0 users favorited this

Description: Jan Łukasiewicz axiomatic proof system have a theorem that "A -> A" is provable in it. This program finds the proof of it.