Switch to: References

Add citations

You must login to add citations.
  1. Identity, equality, nameability and completeness. Part II.María Manzano & Manuel Crescencio Moreno - 2018 - Bulletin of the Section of Logic 47 (3):141.
    This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Hybrid Partial Type Theory.María Manzano, Antonia Huertas, Patrick Blackburn, Manuel Martins & Víctor Aranda - forthcoming - Journal of Symbolic Logic:1-43.
    In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•