issues
search
gelijergensen
/
MetaLogic
A general purpose calculator for propositional logic systems
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added explanation of the project in the readme
#26
gelijergensen
closed
3 years ago
0
Polynomials are now much easier to read
#25
gelijergensen
closed
3 years ago
0
Added Calculator Executable
#24
gelijergensen
closed
3 years ago
0
Added logic system for intuitionistic propositional logic
#23
gelijergensen
closed
3 years ago
0
Caught edge case in PolyRings rewrite rules
#22
gelijergensen
closed
3 years ago
0
Added logic system for polynomials
#21
gelijergensen
closed
3 years ago
0
Add: Calculator mode executable
#20
gelijergensen
closed
3 years ago
0
Relaxed Parser and Improved Error Handling
#19
gelijergensen
closed
3 years ago
0
Added Logic System for Peano Arithmetic
#18
gelijergensen
closed
3 years ago
0
Add: Implement logic system for linear logic
#17
gelijergensen
opened
3 years ago
1
Add: Implement logic system for L_ring
#16
gelijergensen
closed
3 years ago
0
Add: Implement logic system for symbolic derivation
#15
gelijergensen
closed
3 years ago
1
Add: Implement logic system for Peano Arithmetic
#14
gelijergensen
closed
3 years ago
0
Add: Implement logic system for intuitionistic propositional logic
#13
gelijergensen
closed
3 years ago
0
Fixes the Parser to behave more like Haskell code
#12
gelijergensen
closed
3 years ago
0
Add: Guided Rewriting
#11
gelijergensen
opened
3 years ago
1
Logic Systems now can perform rewrites
#10
gelijergensen
closed
3 years ago
0
Bug: Parser misinterprets named operators
#9
gelijergensen
closed
3 years ago
0
Fix: Interpreter Cleanup
#8
gelijergensen
closed
3 years ago
1
Add: Rewrite Rule System
#7
gelijergensen
closed
3 years ago
0
Added the Abstract Definition of Logic Systems
#6
gelijergensen
closed
3 years ago
0
Add: Abstract Logic Systems
#5
gelijergensen
closed
3 years ago
0
Added Parser for generic ASTs
#4
gelijergensen
closed
3 years ago
0
Add: Parser for Arbitrary Logic Formulas
#3
gelijergensen
closed
3 years ago
0
Added simple evaluator for propositional logic formulas
#2
gelijergensen
closed
3 years ago
0
Add: Propositional Logic Evaluator
#1
gelijergensen
closed
3 years ago
0