SnO₂WMaN issues

Results 130 issues of


                                            SnO₂WMaN

ページを跨いで動画を再生し続ける

参考例 vocadb: https://vocadb.net/S/342325

機能追加

画像保存ボタン

close #10 [file-saver](https://github.com/eligrey/FileSaver.js/)を使って画像を保存する現状外部画像のCORSあたりの問題でcanvasのtoBlobが行えないのでなんとかする

目次(ToC)

sectionのタイトルを列挙する目次機能があると嬉しいと思うのですが，どうでしょうか．

enhancement

Modal and Superintuitionistic based on new system

Rewrite modal logic based on #44 Depends - #44 - #46 - #50

Definability of `.𝟑`

`.𝟑` is not Geach axiom and its definability is functional.

feat(Modal): Maximality of `𝐓𝐫𝐢𝐯` and `𝐕𝐞𝐫`

`𝐓𝐫𝐢𝐯`と`𝐕𝐞𝐫`は以下の意味で極大な正規様相論理である． > [!NOTE] > 任意の無矛盾な正規様相論理`Λ`に対し，`Λ ≤ᴸ 𝐕𝐞𝐫`または`𝐊𝐃 ≤ᴸ Λ ≤ᴸ 𝐓𝐫𝐢𝐯`のどちらか一方だけが成立する．(Makinson, 1971) - [x] depends on: #39 - [ ] Classical Propositionalの意味論を用意する（命題論理のトートロジーかどうかに帰着させる証明があるため）

docs(Modal): Add doc strings

close #36 - [ ] depends on: #39

SnO₂WMaN

Tagの親子関係のグラフ