Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic
| Autor: | Tomoaki Kawano, Naosuke Matsuda, Kento Takagi |
|---|---|
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | Notre Dame Journal of Formal Logic. 63 |
| ISSN: | 0029-4527 |
| DOI: | 10.1215/00294527-2022-0016 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|