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: about 1 month 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 (about 7 years ago)
• Default Branch: master
• Last Pushed: 2022-07-13T21:36:56.000Z (over 2 years ago)
• Last Synced: 2024-11-06T07:44:20.240Z (3 months 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