Continua of Logics Related to Intuitionistic and Minimal Logics
We analyze the relationship between logics around intuitionistic logic and minimal logic. We characterize the intersection of minimal logic and co-minimal logic introduced by Vakarelov, and reformulate logics given in the previous studies by Vakarelov, Bezhanishvili, Colacito, de Jongh, Vargas, and...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Lodz University Press
2025-07-01
|
| Loạt: | Bulletin of the Section of Logic |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://czasopisma.uni.lodz.pl/bulletin/article/view/24752 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|