Antonio Piccolomini d'Aragona

MaRDI QIDQ2080588zbMATH OpenFDO

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
The proof-theoretic square Synthese	2026-03-27	Paper
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic Journal of Logic and Computation	2026-01-20	Paper
Deduction at the crossroads	2025-11-17	Paper
A note on schematic validity and completeness in Prawitz's semantics	2025-06-26	Paper
Intensionality of consequence and identity of proofs in Prawitz's theory of grounds Logica Universalis	2025-05-16	Paper
Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics	2025-02-04	Paper
Four constructivist attitudes in Prawitzian semantics	2024-11-20	Paper
Game of grounds	2022-10-09	Paper
Calculi of epistemic grounding based on Prawitz's theory of grounds Studia Logica	2022-06-01	Paper
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics Journal of Philosophical Logic	2022-04-04	Paper
Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds Studia Logica	2022-03-23	Paper

Research outcomes over time

This page was built for person: Antonio Piccolomini d'Aragona