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

  1. Robles, G.
Aldizkaria:
Logique et Analyse

ISSN: 0024-5836

Argitalpen urtea: 2008

Alea: 51

Zenbakia: 201

Orrialdeak: 57-80

Mota: Artikulua

GOOGLE SCHOLAR