Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Construction in the Formal Sciences

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Aristotle meets Frege: from Potentialism to Frege Arithmetic (se abrirá en una nueva ventana)

Autores: Stewart Shapiro
Publicado en: Journal for the Philosophy of Mathematics, Edición 1, 2024, ISSN 3035-1863
Editor: Firenze University Press
DOI: 10.36253/JPM-2937

A Taxonomy for Set-Theoretic Potentialism (se abrirá en una nueva ventana)

Autores: Davide Sutto
Publicado en: Philosophia Mathematica, 2024, ISSN 0031-8019
Editor: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae016

Truthmaker Semantics for Intuitionistic Modal Logic (se abrirá en una nueva ventana)

Autores: Jon Erling Litland
Publicado en: Topoi, 2024, ISSN 0167-7411
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S11245-024-10094-Z

FEFERMAN’S COMPLETENESS THEOREM (se abrirá en una nueva ventana)

Autores: FEDOR PAKHOMOV, MICHAEL RATHJEN, DINO ROSSEGGER
Publicado en: The Bulletin of Symbolic Logic, 2025, ISSN 1079-8986
Editor: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2025.2

Grounding Legalism (se abrirá en una nueva ventana)

Autores: Derek Christian Haderlie, Jon Erling Litland
Publicado en: The Philosophical Quarterly, 2024, ISSN 0031-8094
Editor: Oxford University Press (OUP)
DOI: 10.1093/pq/pqae073

Predicative Classes and Strict Potentialism (se abrirá en una nueva ventana)

Autores: Øystein Linnebo, Stewart Shapiro
Publicado en: Philosophia Mathematica, 2024, ISSN 0031-8019
Editor: Oxford University Press (OUP)
DOI: 10.1093/philmat/nkae020

Constructing the constructible universe constructively (se abrirá en una nueva ventana)

Autores: Richard Matthews, Michael Rathjen
Publicado en: Annals of Pure and Applied Logic, Edición 175, 2024, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2023.103392

Intuitionistic sets and numbers: small set theory and Heyting arithmetic (se abrirá en una nueva ventana)

Autores: Stewart Shapiro, Charles McCarty, Michael Rathjen
Publicado en: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Editor: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00935-4

Annals of Pure and Applied Logic (se abrirá en una nueva ventana)

Autores: Gerhard Jäger, Michael Rathjen
Publicado en: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editor: Elsevier BV
DOI: 10.1016/j.apal.2024.103425

Grounding and Defining Identity (se abrirá en una nueva ventana)

Autores: Jon Erling Litland
Publicado en: Noûs, 2023, ISSN 1468-0068
Editor: Wiley
DOI: 10.1111/nous.12430

Abstraction and grounding (se abrirá en una nueva ventana)

Autores: deRosset, Louis; Linnebo, ystein
Publicado en: Philosophy and Phenomenological Research, 2023, ISSN 1933-1592
Editor: Wiley
DOI: 10.1111/phpr.13036

Truthmaker Semantics for Intuitionistic Modal Logic (se abrirá en una nueva ventana)

Autores: Jon Erling Litland
Publicado en: Topoi, 2024, ISSN 1572-8749
Editor: Springer
DOI: 10.1007/S11245-024-10094-Z

Ground first: against the proof-theoretic definition of ground (se abrirá en una nueva ventana)

Autores: Jon Erling Litland
Publicado en: Synthese, Edición 201, 2023, ISSN 1573-0964
Editor: Springer Science and Business Media LLC
DOI: 10.1007/s11229-022-04028-8

Introduction to constructional ontology

Autores: Salvatore Florio and Øystein Linnebo
Publicado en: 2024
Editor: University of Twente

DOLCE in OWL: The Core Theory

Autores: Porello D.; Vieu L.; Terkaj W.; Borgo S.; Compagno F.; Sanfilippo E. M.
Publicado en: 2024
Editor: HAL open science

Logic of Essence

Autores: Jon Erling Litland
Publicado en: 2024
Editor: Routledge

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0