スケッチ #50

【closure operator C_d:=C(-∪{d}) による仮定追加と位相的演繹体系】 Tarski流closure operator C:P(Fml)→P(Fml) (拡大性・単調性・冪等性) に対し、追加仮定 d∈Fml を変換 C↦C_d:=C(−∪{d}) と見なすと、1,2の下で3も保たれることを確認。Kuratowski closure operatorは∅↦∅だが本変換で「dを公理に持つ位相もどき」が構成でき、位相由来の抽象論理体系の例が大量に得られるという主張。C_d(Γ∪Δ)=C_d(Γ)∪C_d(Δ) のような通常の論理では稀な性質を持つ例が自然に出る点が利点。仮定集合A⊆Fmlへの一般化も成立。 — comm. AI for Math の過去会話より — 初出: 2026-06-19 #演繹とはなにか 発言者: IR. 分類: math-research 新規性メモ: 既知の可能性大 — Tarski流consequence operatorに仮定を追加する変換 C ↦ C(−∪{d}) はabstract algebraic logicで標準的な相対consequence（axiomatic extension）の構成であり、closure spaceと論理の対応（Kuratowski型additivityとの比較を含む）も古典的に研究されている。additivity C_d(Γ∪Δ)=C_d(Γ)∪C_d(Δ) を持つ例の大量生成という具体的な角度が文献にそのまま在るかは未確認。 関連する芽: 「演繹体系をmonadとして一般化する枠組み」(2026-06-19) / 「位相空間由来の演繹体系は代数化可能階層のどこに乗るか」(2026-06-19) / 「Fmlのinductive構造とclosure operator Cの相互作用」(2026-06-19)