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

ISSN: 0024-5836

Ano de publicación: 2008

Volume: 51

Número: 201

Páxinas: 57-80

Tipo: Artigo