https://github.com/0xgeorgii/sharplogic

Open source F# mathematical logic library.
https://github.com/0xgeorgii/sharplogic

automate-inference automate-reasoning automate-teorem-proofs dotnet formula fsharp intuitionistic-logic logic mathematics propositional-logic

Last synced: 6 days ago
JSON representation

Open source F# mathematical logic library.

• Host: GitHub
• URL: https://github.com/0xgeorgii/sharplogic
• Owner: 0xGeorgii
• Created: 2021-01-01T19:23:10.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-05-16T12:39:36.000Z (about 3 years ago)
• Last Synced: 2023-09-26T11:21:39.414Z (almost 2 years ago)
• Topics: automate-inference, automate-reasoning, automate-teorem-proofs, dotnet, formula, fsharp, intuitionistic-logic, logic, mathematics, propositional-logic
• Language: F#
• Homepage:
• Size: 117 KB
• Stars: 11
• Watchers: 1
• Forks: 2
• Open Issues: 16
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
![image](https://user-images.githubusercontent.com/22812032/110662714-d1562400-81d6-11eb-89f4-58182cf73a2d.png)

## Open source F# mathematical logic library.

### Should covers propositional logic. Intuitionism logic. Automate inference, automate reasoning and automate theorem proofs. All in F# functional style.

Literature:

* [Introduction to Metamathematics](https://amzn.to/2X9UwH8)

* [Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics](https://amzn.to/39287FK)

* [Handbook of Practical Logic and Automated Reasoning](https://amzn.to/2Mqe0Vz)

### Founded 01/01/2021

## Build

Main branch build |

:---: |

[![GitHub Actions](https://github.com/GeorgePlotnikov/SharpLogic/workflows/.NET/badge.svg?branch=main)](https://github.com/GeorgePlotnikov/SharpLogic/workflows/.NET/badge.svg?branch=main) |

[![Build History](https://buildstats.info/github/chart/GeorgePlotnikov/SharpLogic)](https://github.com/GeorgePlotnikov/SharpLogic/actions?query=branch%3Amain) |

## Feature list

1. [Check a formula for acceptability](https://github.com/GeorgePlotnikov/SharpLogic/wiki/IsFormulaAcceptable)

2. [Verbose a formula](https://github.com/GeorgePlotnikov/SharpLogic/wiki/VerboseFormula)

3. [Decompose a formula to the calculation list](https://github.com/GeorgePlotnikov/SharpLogic/wiki/BuildFormulaCalcList)

4. [Calculate a formula in tableaux method](https://github.com/GeorgePlotnikov/SharpLogic/wiki/Calculate-a-formula-in-tableaux-method)

5. [Verbose Tableux Calculus](https://github.com/GeorgePlotnikov/SharpLogic/wiki/VerboseTableuxCalculus)