From 7f0afa76a6b04886b2abca9a42484d07f603ff72 Mon Sep 17 00:00:00 2001 From: hi Date: Tue, 12 Aug 2025 08:15:34 +0000 Subject: [PATCH] readme: relative markdown links in Logic/ --- Logic/readme.md | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/Logic/readme.md b/Logic/readme.md index c1bc066..7546cf3 100644 --- a/Logic/readme.md +++ b/Logic/readme.md @@ -2,38 +2,38 @@ things that are in here: ## general things -### [Logic/Parse.hs](Logic/Parse.hs) +### [Logic.Parse](Parse.hs) - generic sequence parser -### [Logic/Graph.hs](Logic/Graph.hs) +### [Logic.Graph](Graph.hs) - generic breadth-first search ## statement things -### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs) +### [Logic.Statement.Parse](Statement/Serialize.hs) - parse string -> statement - serialize a statement -> plaintext, LaTeX -### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs) +### [Logic.Language.Impl.L](Language/Impl/L.hs) - serialize a statement -> L (the formal language) - parse L (the formal language) string -> statement ## semantic statement things -### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs) +### [Logic.Statement.Eval](Statement/Eval.hs) - assign truth values and evaluate statements - determine tautology, contradiction, or contingent -### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs) +### [Logic.Statement.Serialize](Statement/Serialize.hs) - generate a LaTeX truth table from a statement -### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs) +### [Logic.Statements.Laws](Statements/Laws.hs) - match/replace patterns in statements (e.g. logical laws) - verify logical-law equivalence of statements (TODO) @@ -41,17 +41,17 @@ things that are in here: ## syntactic things -### [Logic/Language.hs](Logic/Language.hs) +### [Logic.Language](Language.hs) - implement formal languages (symbols, axioms schemas, and inference rules) with a clunky api, see also -### [Logic/Language/Derivation.hs](Logic/Language/Derivation.hs) +### [Logic.Language.Derivation](Language/Derivation.hs) - verify derivations in formal languages ### formal languages -- [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach") -- [L](Logic/Language/Impl/L.hs) +- [the MIU system](Language/Impl/MIU.hs) (from "Gödel, Escher, Bach") +- [L](Language/Impl/L.hs)