The basic constructive logic for absolute consistency

  1. Méndez, J.M.
  2. Robles, G.
Journal:
Journal of Logic, Language and Information

ISSN: 0925-8531 1572-9583

Year of publication: 2009

Volume: 18

Issue: 2

Pages: 199-216

Type: Article

DOI: 10.1007/S10849-008-9077-2 GOOGLE SCHOLAR