Ładuje się......
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...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Lodz University Press
2022-03-01
|
| Seria: | Bulletin of the Section of Logic |
| Hasła przedmiotowe: | |
| Dostęp online: | https://www.czasopisma.uni.lodz.pl/bulletin/article/view/8670 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|