Volltext verfügbar nach Anmeldung bzw. im Campus-Netz.
Sequent calculus for 3-valued paraconsistent logic QMPT0.
In: Logic Journal of the IGPL, Jg. 27 (2019-08-01), Heft 4, S. 507-521
Online
academicJournal
Zugriff:
Titel: |
Sequent calculus for 3-valued paraconsistent logic QMPT0.
|
---|---|
Autor/in / Beteiligte Person: | Nide, Naoyuki ; Goto, Yuki ; Fujita, Megumi |
Link: | |
Zeitschrift: | Logic Journal of the IGPL, Jg. 27 (2019-08-01), Heft 4, S. 507-521 |
Veröffentlichung: | 2019 |
Medientyp: | academicJournal |
ISSN: | 1367-0751 (print) |
DOI: | 10.1093/jigpal/jzz016 |
Sonstiges: |
|