Completeness in Equational Hybrid Propositional Type Theory

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

ISSN: 1572-8730 0039-3215

Année de publication: 2019

Volumen: 107

Número: 6

Pages: 1159-1198

Type: Article

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