Views of proof-theoretic semantics: reified proof-theoretic meanings
type: Item
instance of: scholarly article
title: Views of proof-theoretic semantics: reified proof-theoretic meanings
zbMATH Open document ID: 1403.03113
author: Nissim Francez
publication date: 2016-07-07T00:00:00Z
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 6601617
zbMATH Keywords: proof-theoretic semantics
zbMATH Keywords: reified meaning
zbMATH Keywords: canonical derivation
zbMATH Keywords: non-eliminability
MaRDI profile type: Publication
full work available at URL: exu035
OpenAlex ID: W2136491115
DOI: 10.1093/LOGCOM/EXU035
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 6601617