Identity , Equality , Nameability and Completeness January 11 , 2017

Corpus ID: 189805802

Identity , Equality , Nameability and Completeness January 11 , 2017

@inproceedings{2017IdentityE,
  title={Identity , Equality , Nameability and Completeness January 11 , 2017},
  author={},
  year={2017}
}

Published 2017

This contribution is divided into two parts. The first one is devoted to the concepts of identity and equality in a variety of logical systems that motivates the definition of our system of Equational Hybrid Propositional Type Theory (EHPT T ). The language we have chosen contains a propositional type theory based on lambda and equality. It also contains hybrid resources as well as algebraic ones. The second part concentrates on the relevant role played by names on the three completeness… CONTINUE READING