Eintrag weiter verarbeiten
Falsification, natural deduction and bi-intuitionistic logic
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Falsification, natural deduction and bi-intuitionistic logic |
In: | Journal of Logic and Computation, 26, 2016, 1, S. 425-450 |
veröffentlicht: |
Oxford University Press (OUP)
|
Umfang: | 425-450 |
ISSN: |
1465-363X 0955-792X |
DOI: | 10.1093/logcom/ext035 |
Format: | E-Article |
Quelle: | Oxford University Press (OUP) (CrossRef) |
Sprache: | Englisch |