Completeness in Equational Hybrid Propositional Type Theory

  1. Manzano, M.
  2. Martins, M.
  3. Huertas, A.
Revista:
Studia Logica

ISSN: 1572-8730,  0039-3215

Año de publicación: 2019

Volumen: 107

Número: 6

Páginas: 1159-1198

Tipo: Artículo

DOI: 10.1007/S11225-018-9833-5 GOOGLE SCHOLAR