Completeness in Equational Hybrid Propositional Type Theory

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

ISSN: 1572-8730,  0039-3215

Year of publication: 2019

Volume: 107

Issue: 6

Pages: 1159-1198

Type: Article

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