Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom

  1. Méndez, J.M.
  2. Salto, F.
Aldizkaria:
Notre Dame Journal of Formal Logic

ISSN: 1939-0726,  0029-4527

Argitalpen urtea: 1995

Alea: 36

Zenbakia: 3

Orrialdeak: 407-413

Mota: Artikulua

DOI: 10.1305/NDJFL/1040149356 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus