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

ISSN: 0024-5836

Año de publicación: 2008

Volumen: 51

Número: 201

Páginas: 57-80

Tipo: Artículo