scientific article; zbMATH DE number 6399373

zbMATH Open1318.03031MaRDI QIDQ5173183FDOQ5173183

Manuel A. Martins, María Manzano, Antonia Huertas

Publication date: 9 February 2015

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/43_34_1.pdf

Title of this publication is not available (Why is that?)

Recommendations

• Completeness in equational hybrid propositional type theory
• Equational theories for inductive types
• scientific article
• scientific article
• Equational type logic
• scientific article; zbMATH DE number 408803
• A Hilbert-style axiomatisation for equational hybrid logic
• HYBRID PARTIAL-TOTAL TYPE THEORY
• Automated Deduction – CADE-20
• scientific article; zbMATH DE number 1114350

zbMATH Keywords

equational hybrid logicpropositional type theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (9)

• Identity, equality, nameability and completeness. Part II
• Completeness in equational hybrid propositional type theory
• Title not available (Why is that?)
• Quantifiers and conceptual existence
• Type introduction for equational rewriting
• Exorcising the phantom zone
• Compositional meaning in logic
• EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)
• A Hilbert-style axiomatisation for equational hybrid logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5173183)