ARXO ATLAScanonical corpus

Published package / CLIR

logic.intuitionistic

v0.1.0

The Open Logic Text

Cover of logic.intuitionistic: 127 CLIR nodes by family

Authored metadata / not derived

Label

Issuer
The Open Logic Project (ed. Richard Zach), github.com/OpenLogicProject/OpenLogic, commit 1e960be
Jurisdiction
no sovereign — the norm was not issued by an authority
Kind of instrument
treatise
Status
doctrine, not an act of authority
What is pinned
official bytes pinned

verified The text of the package was checked against the pinned source by hand.

State of preservation

  • official bytes8 editions

    The bytes of the official publication are pinned.

Depth of formalisation

1
4
3
EXECUTABLE 1
a deriving node refers to the fragment — something is derived from it
ANCHORED 4
addressable by a semantic node, but nothing is derived
SOURCE_ONLY 3
the text is pinned and addressable, no references

The levels are computed from CLIR; authored markup for them does not exist: hand markup would mean that an author’s mistake silently changes the completeness report. This is not a share of the act: the share of the document covered by fragments is measured against the bytes of the pinned publication and is not computed here.

Sources

Try it

This package is not embedded in the workbench, and it has no “try it” button: the button would open emptiness. The embedded ones were chosen for the mechanics they show, not by the importance of the act — any other package can be executed by opening its directory in the workbench from disk.

  • faraid.shares — Фараид — наследственный расчёт исламского права
  • intl.turkic.nakhchivan_2009 — Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»
  • kz.corpus.capital_status — Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»
  • kz.corpus.pinningexample — Положение о порядке учёта обращений
  • kz.corpus.socialassistance — Адресная социальная помощь (учебный срез)
  • kz.corpus.tuystyq — Туыстық жүйе — казахская система родства

Cite

The address of a norm is immutable: contentHash is computed over the canonical bytes, and any edit of the package yields a different hash. The link below points not at “the latest version” but at specific bytes — what citation requires and a version number does not give.

The Open Logic Text · OPEN_LOGIC · logic.intuitionistic@0.1.0 · sha256:23d3ab77e5180f9a98a95b39253e536f29a3a30eeb050351dea214b0f9142cf8