A binary routley semantics for intuitionistic de morgan minimal logic HM and its extensions

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

ISSN: 1368-9894,  1367-0751

Año de publicación: 2014

Volumen: 23

Número: 2

Páginas: 174-193

Tipo: Artículo

DOI: 10.1093/JIGPAL/JZU029 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible