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

  1. Robles, G.
Revue:
Logique et Analyse

ISSN: 0024-5836

Année de publication: 2008

Volumen: 51

Número: 201

Pages: 57-80

Type: Article

GOOGLE SCHOLAR