lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

refactor(Modal): Reducing Logical Symbols for Classical Modal Logic

Open SnO2WMaN opened this issue 6 months ago • 0 comments

不要に複雑なため，現状のModalでは直観主義様相論理は諦め，古典的なものだけを考える．そのために論理式の定義を変更．

SnO2WMaN avatar Aug 11 '24 05:08 SnO2WMaN