logic/Logic

things that are in here:

general things

Logic.Parse

• generic sequence parser

Logic.Graph

• generic breadth-first search

statement things

Logic.Statement.Parse

• parse string -> statement
• serialize a statement -> plaintext, LaTeX

Logic.Language.Impl.L

• serialize a statement -> L (the formal language)
• parse L (the formal language) string -> statement

semantic statement things

Logic.Statement.Eval

• assign truth values and evaluate statements
• determine tautology, contradiction, or contingent

Logic.Statement.Serialize

• generate a LaTeX truth table from a statement

Logic.Statements.Laws

• match/replace patterns in statements (e.g. logical laws)
• verify logical-law equivalence of statements (TODO)
• find logical-law equivalence of statements with breadth-first search (slow)

syntactic things

Logic.Language

• implement formal languages (symbols, axioms schemas, and inference rules) with a clunky api, see also https://en.wikipedia.org/wiki/Post_canonical_system

Logic.Language.Derivation

• verify derivations in formal languages

formal languages

• the MIU system (from "Gödel, Escher, Bach")
• L