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.
Revista:
Bulletin of the Section of Logic

ISSN: 0138-0680

Año de publicación: 2001

Volumen: 30

Número: 3

Páginas: 139-146

Tipo: Artículo