Completeness in Equational Hybrid Propositional Type Theory

Equational Hybrid Propositional Type Theory (EHPTT) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra (a nonempty set with functions) and a Kripke frame. The mai...

Full description

Bibliographic Details
Main Author: Manzano, Maria (author)
Other Authors: Martins, Manuel (author), Huertas, Antonia (author)
Format: article
Language:eng
Published: 2019
Subjects:
Propositional type theory
Hybrid logic
Equational logic
Completeness
Online Access:http://hdl.handle.net/10773/27104
Country:Portugal
Oai:oai:ria.ua.pt:10773/27104

Internet

http://hdl.handle.net/10773/27104

Similar Items