ARXO ATLAScanonical corpus

Published package / CLIR

logic.deontic

v0.1.0

Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели

Cover of logic.deontic: 114 CLIR nodes by family

Authored metadata / not derived

Label

Issuer
нет: изложение SDL составлено для настоящего репозитория; модальная часть закреплена байтами Open Logic Project через logic.modal
Jurisdiction
no sovereign — the norm was not issued by an authority
Kind of instrument
doctrine
Status
doctrine, not an act of authority
What is pinned
authored exposition, not the text of the act

not verified No manual check of the text against the source is claimed: the bytes are pinned and hashed, but the author made no assertion of “read it and it matched”.

State of preservation

  • official bytes1 edition

    The bytes of the official publication are pinned.

Depth of formalisation

3
4
2
EXECUTABLE 3
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 2
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.

Стандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели · SDL_RESTATEMENT · logic.deontic@0.1.0 · sha256:971ac6c2f2bcbff0425824ac7875edef2b6b69f8e85b5b5a1ea203c407de328c