2022年7月
Semantic incompleteness of Hilbert system for a combination of classical and intuitionistic logic
arXiv
- ,
- 巻
- abs/2207.07416
- 号
- 記述言語
- 英語
- 掲載種別
- その他
- DOI
- 10.48550/ARXIV.2207.07416
- リンク情報
-
- DOI
- https://doi.org/10.48550/ARXIV.2207.07416 本文へのリンクあり
- DBLP
- https://dblp.uni-trier.de/rec/journals/corr/abs-2207-07416
- 共同研究・競争的資金等の研究課題
- 否定概念に着目した異なる論理の共存の証明論的研究
- URL
- https://doi.org/10.48550/arXiv.2207.07416 本文へのリンクあり
- ID情報
-
- DOI : 10.48550/ARXIV.2207.07416
- DBLP ID : journals/corr/abs-2207-07416