Completeness in equational hybrid propositional type theory

DOI10.1007/s11225-018-9833-5OpenAlexW2896709287WikidataQ129081386 ScholiaQ129081386MaRDI QIDQ2278838

Antonia Huertas, Manuel A. Martins, 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

zbMATH Keywords

completenessequational logichybrid logicpropositional type theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Exorcising the phantom zone ⋮ Identity, equality, nameability and completeness. Part II

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The life and work of Leon Henkin. Essays on his contributions
• Completeness in hybrid type theory
• Pure extensions, proof rules, and hybrid axiomatics
• A Hilbert-style axiomatisation for equational hybrid logic
• Some notes on nominalism
• Identity, Equality, Nameability and Completeness
• Identity, equality, nameability and completeness. Part II
• A theory of prepositional types
• A reduction of the axioms for the theory of prepositional types
• Logic based on inclusion and abstraction
• The completeness of the first-order functional calculus
• Completeness in the theory of types

This page was built for publication: Completeness in equational hybrid propositional type theory