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

Ano de publicación: 2001

Volume: 30

Número: 3

Páxinas: 139-146

Tipo: Artigo