refactor(Modal/IntProp): Rename Definitions and Refactor File Structure - Githubissues

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization

https://formalizedformallogic.github.io/Summary/

Apache License 2.0

84 stars 5 forks source link

refactor(Modal/IntProp): Rename Definitions and Refactor File Structure #132

Closed SnO2WMaN closed 2 months ago

SnO2WMaN commented 2 months ago

主な変更内容

DeductionParameterをHilbertに改名
直観主義様相論理のようなものは考えずいわゆる普通の様相論理だけ考えることにして冗長になっていたのでModal/Standard/をModal/に移動
Propositional/Superintuitionistic/は長すぎて可読性を損なうのでIntProp/に移動（"Intermediate"の略だとしても"Minimal"が入らないので命名としてはややおかしいが一旦無視する）