Đang tải...
Sequent Calculi for Orthologic with Strict Implication
In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O-models). As \(\bf GO\) does not contain implication...
Đã 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
2022-03-01
|
| Loạt: | Bulletin of the Section of Logic |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8670 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|