Publications (5)

¹ Publicaciones consideradas como producción del grupo

View referenced research data.

filter_list Logic

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic

2019

  1. Completeness in Equational Hybrid Propositional Type Theory

    Studia Logica, Vol. 107, Núm. 6, pp. 1159-1198

2014

  1. A semantics for equational hybrid propositional type theory

    Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138

  2. Completeness in Hybrid Type Theory

    Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238

  3. Henkin and Hybrid Logic

    Studies in Universal Logic (Springer Nature), pp. 279-306