A weak logic with the axiom mingle lacking the variable-sharing property

  1. Robles, G.
  2. Salto, F.
  3. Méndez, J.M.
Revue:
Bulletin of the Section of Logic

ISSN: 0138-0680

Année de publication: 2011

Volumen: 40

Número: 3-4

Pages: 195-202

Type: Article