Lesley's Digital Garden
Search
Search
Dark mode
Light mode
Explorer
Tag: logic/FormalSystem
6 items with this tag.
Jan 06, 2025
completeness
logic/FormalSystem
Sep 30, 2024
Hilbert system
logic/FormalSystem
Sep 30, 2024
formal system
logic/FormalSystem
Sep 30, 2024
proof system
logic/proofs
logic/FormalSystem
Sep 29, 2024
axiom schemas
logic/FormalSystem
Sep 29, 2024
soundness (formal system)
logic/FormalSystem