DC FieldValueLanguage
dc.contributor.authorDošen, Kostaen
dc.date.accessioned2020-04-27T10:33:27Z-
dc.date.available2020-04-27T10:33:27Z-
dc.date.issued2015-01-01en
dc.identifier.isbn978-3-319-11040-0-
dc.identifier.issn2211-2758en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/679-
dc.description.abstractPrawitz’s views concerning inferences and their validity are examined in the light of opinions about general proof theory and proof-theoretic semantics inspired by categorial proof theory. The frame for these opinions, and for the ensuing examination of those of Prawitz, is provided by what has been qualified as a dogmatic position that proof-theoretic semantics shares with model-theoretic semantics.en
dc.publisherSpringer Link-
dc.relation.ispartofDag Prawitz on Proofs and Meaningen
dc.relation.ispartofseriesOutstanding Contributions to Logic-
dc.subjectCategorial proof theory | Consequence | Deduction | General proof theory | ground | Inference | Name | Proof-theoretic semantics | Proposition | Provability | Truth | Validityen
dc.titleInferential Semanticsen
dc.typeBook Chapteren
dc.identifier.doi10.1007/978-3-319-11041-7_6en
dc.identifier.scopus2-s2.0-85051604026en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage147en
dc.relation.lastpage162en
dc.relation.volume7en
item.fulltextNo Fulltext-
item.openairetypeBook Chapter-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
Show simple item record

SCOPUSTM   
Citations

10
checked on Apr 2, 2025

Page view(s)

36
checked on Jan 31, 2025

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.