A card from a free library — ask anything, no account, works offline. Every card carries its source.
Formal logic
instrument
The Formal logic verifier (src/concordance/verifiers/formal_logic.py). Builds on: Boolean algebra — the base of logic. Found from the code's own imports, never invented; the module keeps the logic, this card is a pointer.
source
verifier: formal_logic · src/concordance/verifiers/formal_logic.py
card id
card_instr_formal_logic
address
WIT.codex.FCT/formal-logic/REF.WITNESSED@verifier-formal-logic
adjoining cards
- on the shelf of → The instruments — a spine of the one map — an instrument on the one map
- builds on → Boolean algebra — the base of logic — Formal logic imports Boolean algebra — the base of logic
Is this card incomplete? Tell the library — it will call out for more ↗