Опубликованный пакет / CLIR
logic.calculi
v0.1.0The Open Logic Text
The Open Logic Text
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| content/first-order-logic/natural-deduction/derivations.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/natural-deduction/propositional-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/natural-deduction/quantifier-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/natural-deduction/rules-and-proofs.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/proof-systems/introduction.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/proof-systems/natural-deduction.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/proof-systems/sequent-calculus.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/proof-systems/tableaux.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/sequent-calculus/propositional-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/sequent-calculus/quantifier-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/sequent-calculus/rules-and-proofs.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/sequent-calculus/structural-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/tableaux/propositional-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/tableaux/quantifier-rules.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/first-order-logic/tableaux/rules-and-proofs.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/intuitionistic-logic/introduction/natural-deduction.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/proof-theory/sequent-calculus/admissible-derivable.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/proof-theory/sequent-calculus/rules-G3i.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
| content/proof-theory/sequent-calculus/rules-LK.tex at commit 1e960be (master, 2026-08-14) | en | adopted · 2026-08-14 | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.