https://github.com/dmxlarchey/relevant-decidability

A constructive account of Kripke-Curry's decidability proof for Implicational Relevance logic (see README.md below)
https://github.com/dmxlarchey/relevant-decidability

coq coq-formalization decidability-proof kripke-curry logic relevance

Last synced: 8 days ago
JSON representation

A constructive account of Kripke-Curry's decidability proof for Implicational Relevance logic (see README.md below)

• Host: GitHub
• URL: https://github.com/dmxlarchey/relevant-decidability
• Owner: DmxLarchey
• License: lgpl-2.1
• Created: 2018-01-31T10:15:32.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2022-07-13T21:36:56.000Z (over 2 years ago)
• Last Synced: 2024-10-11T21:49:24.610Z (about 1 month ago)
• Topics: coq, coq-formalization, decidability-proof, kripke-curry, logic, relevance
• Language: Coq
• Homepage:
• Size: 179 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 2

Awesome Lists containing this project