Hybrid type theory with undefinedness: a varying-domain approach

Authors

  • María Manzano Department of Philosophy, Logic and Aesthetics, University of Salamanca
  • Antonia Huertas Faculty of Computer Science, Multimedia and Telecommunications, Universitat Oberta de Catalunya
  • Patrick Blackburn Philosophy and Science Studies, IKH, Roskilde University
  • Manuel Martins CIDMA & Department of Mathematics, University of Aveiro
  • Víctor Aranda Department of Logic and Theoretical Philosophy, Complutense University of Madrid

Abstract

No abstract available.

References

Capa do volume 16 (2025) da revista research@ua.

Downloads

Published

2026-07-28

Issue

Vol. 16 (2025)

Section

Research highlights

License

Copyright (c) 2026 research@ua

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.