Published package / CLIR
logic.semantics
v0.1.0The Open Logic Text
The Open Logic Text
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| content/first-order-logic/completeness/completeness-thm.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/natural-deduction/proof-theoretic-notions.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/natural-deduction/soundness.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/assignments.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/extensionality.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/satisfaction.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/semantic-notions.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/syntax-and-semantics/structures.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/propositional-logic/syntax-and-semantics/semantic-notions.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/propositional-logic/syntax-and-semantics/valuations-sat.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
There are no revisions within one language: each language edition of this work has a single version, and there is nothing to compare.
Replacement of the act
Not measured: no-edition-boundary.