On a distinction of two facets of meaning and its role in proof-theoretic semantics (Q2342803): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-015-0118-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1997503903
@@ Property / OpenAlex ID: W1997503903 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56444587
@@ Property / Wikidata QID: Q56444587 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Theoretic Semantics for a Natural Language Fragment
+Normal rank
@@ Property / cites work @@
+Proof-theoretic semantics for subsentential phrases
+Normal rank
@@ Property / cites work @@
+HOW A SEMANTICS FOR TONK SHOULD BE
@@ Property / cites work: HOW A SEMANTICS FOR TONK SHOULD BE / rank @@
+Normal rank
@@ Property / cites work @@
+Views of proof-theoretic semantics: reified proof-theoretic meanings
+Normal rank
@@ Property / cites work @@
+ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
+Normal rank
@@ Property / cites work @@
+PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
+Normal rank
@@ Property / cites work @@
+Against the identification of assertoric content with compositional value
+Normal rank
@@ Property / cites work @@
+Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
+Normal rank