L'articolo offre una panoramica sull'articolazione di un problema di riconoscibilità, noto nella semantica BHK, rispetto alla proof-theoretic semantics e alla teoria dei grounds del logico svedese Dag Prawitz.

Riconoscibilità nelle semantiche di Dag Prawitz / PICCOLOMINI d' ARAGONA, Antonio. - (2016). ( AISC Mid-Term 2016 Napoli ).

Riconoscibilità nelle semantiche di Dag Prawitz

PICCOLOMINI d' ARAGONA, ANTONIO
2016

Abstract

L'articolo offre una panoramica sull'articolazione di un problema di riconoscibilità, noto nella semantica BHK, rispetto alla proof-theoretic semantics e alla teoria dei grounds del logico svedese Dag Prawitz.
2016
AISC Mid-Term 2016
Inferenza; dimostrazione; riconoscibilità
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Riconoscibilità nelle semantiche di Dag Prawitz / PICCOLOMINI d' ARAGONA, Antonio. - (2016). ( AISC Mid-Term 2016 Napoli ).
File allegati a questo prodotto
File Dimensione Formato  
Piccolomini_Riconoscibilità_2016.pdf

accesso aperto

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 2.38 MB
Formato Adobe PDF
2.38 MB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1232032
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact