Skip to main content
European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Truth within Proof-Theoretic Semantics

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity

Autorzy: Will Stafford, Victor Nascimento
Opublikowane w: Analysis, Numer 83, 2023, Strona(/y) 507-516, ISSN 0003-2638
Wydawca: Oxford University Press
DOI: 10.1093/analys/anac100

On the difficulty of discovering mathematical proofs

Autorzy: Andrew Arana, Will Stafford
Opublikowane w: Synthese, Numer 202, 2023, ISSN 1573-0964
Wydawca: Springer
DOI: 10.1007/s11229-023-04184-5

Proof-Theoretic Validity isn’t Intuitionistic; So What?

Autorzy: Will Stafford
Opublikowane w: Australasian Journal of Philosophy, 2024, Strona(/y) 1-17, ISSN 0004-8402
Wydawca: Australasian Association of Psychology and Philosophy
DOI: 10.1080/00048402.2024.2411395

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników