Restricting the contraction axiom in dummett's lc: A sublogic of LC with the converse ackermann property, the logic LCo

  1. Salto, F.
  2. Mendez, J.M.
  3. Robles, G.
Aldizkaria:
Bulletin of the Section of Logic

ISSN: 0138-0680

Argitalpen urtea: 2001

Alea: 30

Zenbakia: 3

Orrialdeak: 139-146

Mota: Artikulua