THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS

DOI10.1017/BSL.2021.61OpenAlexW4214718123MaRDI QIDQ5037523FDOQ5037523

Authors: Per Martin-Löf 

Publication date: 1 March 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.61

Recommendations

• SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
• scientific article; zbMATH DE number 2149449
• Referential semantics: duality and applications
• On constructive semantics of natural language
• Publication:5752570
• Semantics of constructions. I: The traditional approach
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• scientific article; zbMATH DE number 3231879

zbMATH Keywords

computationidentityconstructive type theorysense and reference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT

Cited In (5)

• Title not available (Why is that?)
• Spiritus asper versus lambda: on the nature of functional abstraction
• Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
• Meaning and computing: two approaches to computable propositions
• Structured meanings and reflexive domains

This page was built for publication: THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS

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