Proof-theoretic semantics as a resource for expressing semantic variability

DOI10.1007/S11229-022-03780-1MaRDI QIDQ6837776zbMATH OpenFDO

Authors Nissim Francez

Publication date 26 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-022-03780-1

zbMATH Keywords

meaning-conferring proof-systemsnatural-deductionproof-theoretic semanticssemantic variation

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 6819811 (Why is no real title available?)
• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• Meaning approached via proofs
• Proof-theoretic semantics
• The epistemic significance of valid inference
• Views of proof-theoretic semantics: reified proof-theoretic meanings

This page was built for publication: Proof-theoretic semantics as a resource for expressing semantic variability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6837776)