Extensions of the basic constructive logic for negation-consistency BKc4 defined with a falsity constant

ISSN: 0024-5836

Year of publication: 2008

Volume: 51

Issue: 201

Pages: 57-80

Type: Article