root/logic
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: root:24dd252f411066cd913417bd3d48f028f4fef3c4
Branches Tags
root:master
..
compare: root:c60ae342545468c8ea43c2ac3f44167b48da31e9
Branches Tags
root:master

1 commit
24dd252f41 ... c60ae34254

Author SHA1 Message Date
hi
c60ae34254 readme: verbose 2025-08-12 07:54:13 +00:00
1 changed files with 14 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

29
readme.md
View file

@ -2,38 +2,37 @@
things that are in here: things that are in here:
## general statement things ### general statement things
### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs) #### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs)
- parse string -> statement - parse string -> statement
- serialize a statement -> plaintext, LaTeX - serialize a statement -> plaintext, LaTeX, or L (the formal language)
### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs) #### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs)
- serialize a statement -> L (the formal language)
- parse L (the formal language) string -> statement - parse L (the formal language) string -> statement
## semantic things (statements have meaning I guess) ### semantic things (statements have meaning I guess)
### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs) #### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
- assign truth values and evaluate statements - assign truth values and evaluate statements
- determine tautology, contradiction, or contingent - determine tautology, contradiction, or contingent
### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs) #### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs)
- generate a LaTeX truth table from a statement - generate a LaTeX truth table from a statement
### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs) #### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs)
- match/replace patterns in statements (e.g. logical laws) - match/replace patterns in statements (e.g. logical laws)
- verify logical-law equivalence of statements (TODO) - verify logical-law equivalence of statements (TODO)
- find logical-law equivalence of statements with breadth-first search (slow) - find logical-law equivalence of statements with breadth-first search (slow)
## syntactic things (statements are strings of symbols) ### syntactic things (statements are strings of symbols)
### [Logic/Language.hs](Logic/Language.hs) #### [Logic/Language.hs](Logic/Language.hs)
- implement formal languages (symbols, axioms schemas, and inference rules) - implement formal languages (symbols, axioms schemas, and inference rules)
with a clunky api, see also with a clunky api, see also
@ -43,18 +42,18 @@ things that are in here:
- verify derivations in formal languages - verify derivations in formal languages
## formal languages implemented ### formal languages implemented
- [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach") - [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
- [L](Logic/Language/Impl/L.hs) - [L](Logic/Language/Impl/L.hs)
## general things ### general things
### [Logic/Parse.hs](Logic/Parse.hs) #### [Logic/Parse.hs](Logic/Parse.hs)
- generic sequence parser - generic sequence parser
### [Logic/Graph.hs](Logic/Graph.hs) #### [Logic/Graph.hs](Logic/Graph.hs)
- generic breadth-first search - generic breadth-first search