Falsification, natural deduction and bi-intuitionistic logic

Bibliographic Details
Authors and Corporations: Wansing, Heinrich
Title: Falsification, natural deduction and bi-intuitionistic logic
In: Journal of Logic and Computation, 26, 2016, 1, p. 425-450
published:
Oxford University Press (OUP)
Physical Description:425-450
ISSN/ISBN: 0955-792X
1465-363X
Type of Resource:E-Article
Source:Oxford University Press (OUP) (CrossRef)
Language: English