A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH

  1. Robles, G.
  2. Méndez, J.M.
Revista:
Journal of Logic, Language and Information

ISSN: 1572-9583,  0925-8531

Año de publicación: 2021

Volumen: 30

Número: 1

Páginas: 117-138

Tipo: Artículo

DOI: 10.1007/S10849-020-09321-8 GOOGLE SCHOLAR
Fuente de los datos: Scopus