Corpus ID: 189805802

Identity , Equality , Nameability and Completeness January 11 , 2017

  title={Identity , Equality , Nameability and Completeness January 11 , 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


    Completeness in Hybrid Type Theory
    • 16
    • PDF
    Identity as a logical primitive
    • 14
    A theory of propositional types
    • Fundamenta Mathematicae 52,
    • 1963
    The nominalistic interpretation of mathematical language
    • Bulletin de la Société de Mathématique de Belgique
    • 1955
    Some Notes on Nominalism
    • L. Henkin
    • Philosophy, Computer Science
    • J. Symb. Log.
    • 1953
    • 18