Completeness in equational hybrid propositional type theory
From MaRDI portal
Publication:2278838
DOI10.1007/s11225-018-9833-5MaRDI QIDQ2278838
Manuel A. Martins, Antonia Huertas, María Manzano
Publication date: 11 December 2019
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10773/27104
03-XX: Mathematical logic and foundations
Uses Software