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

ISSN: 0024-5836

Any de publicació: 2008

Volum: 51

Número: 201

Pàgines: 57-80

Tipus: Article