The basic constructive logic for negation-consistency defined with a propositional falsity constant

  1. Méndez, J.M.
  2. Robles, G.
  3. Salto, F.
Journal:
Bulletin of the Section of Logic

ISSN: 0138-0680

Year of publication: 2007

Volume: 36

Issue: 1-2

Pages: 45-57

Type: Article