Proof-Theoretic Semantic Values for Logical Constants (original) (raw)
Related papers
Views of proof-theoretic semantics: Reified proof-theoretic meanings
To appear in J. of Logic and Computation, 2014
On a distinction of two facets of meaning and its role in proof-theoretic semantics
Logica Universalis 9, 2015
Proof-theoretic semantics for subsentential phrases
Studia Logica, 2010
A proof-theoretical semantics for contextual definiteness
To appear (2013) in `Second Pisa colloquium in logic, language and epystemology'
Pluralism in Proof-Theoretic Semantics
The original sin of proof-theoretic semantics
Synthese
Some Problems for Proof-Theoretic Semantics
The Philosophical Quarterly, 2008
The granularity of meaning in proof-theoretic semantics
Lecture notes in computational linguistics, Springer 2014
Proof-theoretic type interpretation: a glimpse to proof-theoretic semantics
A proof-theoretic semantics for parametric logical constants
Logique et Analyse, 2019
MTT-Semantics Is Model-Theoretic As Well As Proof-Theoretic∗
2020
Semantic Values for Natural Deduction Derivations
Synthese, 2006
On the Interpretation of the Propositional Calculus
A Note on Synonymy in Proof-Theoretic Semantics
Outstanding contributions to logic, 2024
Proof-theoretic Semantics for Classical Mathematics
Synthese, 2006
Journal of Symbolic Logic, Vol. 37, 159-169, 1972
On the semantic readings of proof-nets
Formal grammar, 1996
On Synonymy in Proof-theoretic Semantics: The Case of \(\mathtt{2Int}\)
Bulletin of the Section of Logic
Proof-theoretic semantics for a natural language fragment
Linguistics and Philosophy, 33(6),pp. 447-477, 2011
On Rules of Inference and the Meanings of Logical Constants
Analysis, 2008
Proof-Theoretic Semantics for natural language
Topoi, 2021
Bilateralism in proof-theoretic semantics
Logical consequence in modal logic. II. Some semantic systems for rmS4{\rm S}4rmS4
Notre Dame Journal of Formal Logic, 1974
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
Lecture Notes in Computer Science, 2014
Single-Assumption Systems in Proof-Theoretic Semantics
Journal of Philosophical Logic, 2022
Review of Symbolic Logic (RSL), 2015
Logical Derivability of the Concept of Meaning, Formulation I
IOSR Journal of Humanities and Social Science, 2012
A proof-theoretic universal property of determiners
2015
Notes on Formal Theories of Truth
Mathematical Logic Quarterly, 1989
Review of Symbolic Logic, 2018
On the Semantics of Higher-order Logic
Handbook of Philosophical Logic
1989
Truth-Theoretic Semantics and Its Limits
Argumentation, 2017
Journal of Logic, Language and Information, 1996
Truth-values as labels: a general recipe for labelled deduction
Journal of Applied Non-Classical Logics, 2003