Ticket entailment plus the mingle axiom has the variable-sharing property

  1. Méndez, J.M.
  2. Robles, G.
  3. Salto, F.
Revista:
Logic Journal of the IGPL

ISSN: 1367-0751,  1368-9894

Año de publicación: 2012

Volumen: 20

Número: 1

Páginas: 355-364

Tipo: Artículo

DOI: 10.1093/JIGPAL/JZR046 GOOGLE SCHOLAR
Fuente de los datos: Scopus