María Manzano

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hybrid partial type theory The Journal of Symbolic Logic	2025-05-06	Paper
Propositional type theory of indeterminacy Studia Logica	2024-11-25	Paper
Quantifiers and conceptual existence	2024-09-11	Paper
Exorcising the phantom zone Information and Computation	2022-06-13	Paper
scientific article; zbMATH DE number 7510718 (Why is no real title available?)	2022-04-20	Paper
Rigid first-order hybrid logic	2020-03-04	Paper
Completeness in equational hybrid propositional type theory Studia Logica	2019-12-11	Paper
Identity, equality, nameability and completeness. II Bulletin of the Section of Logic	2019-03-21	Paper
Identity, equality, nameability and completeness Bulletin of the Section of Logic	2018-07-12	Paper
Visions of Henkin Synthese	2017-03-09	Paper
Leon Henkin Studies in Universal Logic	2015-11-27	Paper
Henkin on completeness Studies in Universal Logic	2015-11-27	Paper
April the 19th Studies in Universal Logic	2015-11-27	Paper
Henkin and hybrid logic Studies in Universal Logic	2015-11-27	Paper
Completeness: from Gödel to Henkin History and Philosophy of Logic	2015-03-25	Paper
scientific article; zbMATH DE number 6399373 (Why is no real title available?)	2015-02-09	Paper
Completeness in hybrid type theory Journal of Philosophical Logic	2014-12-18	Paper
Diagonalisation and Church's Thesis: Kleene's Homework History and Philosophy of Logic	2005-10-17	Paper
scientific article; zbMATH DE number 1237866 (Why is no real title available?)	1999-01-11	Paper
Alonzo church:his life, his work and some of his miracles History and Philosophy of Logic	1998-11-15	Paper
scientific article; zbMATH DE number 824731 (Why is no real title available?)	1995-12-11	Paper
scientific article; zbMATH DE number 4033711 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3952716 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: María Manzano