scientific article; zbMATH DE number 6399373
From MaRDI portal
Publication:5173183
zbMATH Open1318.03031MaRDI QIDQ5173183FDOQ5173183
Authors: María Manzano, Manuel A. Martins, 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; zbMATH DE number 139986
- scientific article; zbMATH DE number 6680163
- 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
Cited In (10)
- Completeness in equational hybrid propositional type theory
- Title not available (Why is that?)
- Quantifiers and conceptual existence
- Identity, equality, nameability and completeness
- Identity, equality, nameability and completeness. II
- 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)
