Proof-theoretic semantics as a resource for expressing semantic variability
Bibliographic Data
| ID | 10811013 |
|---|---|
| Authors | Nissim Francez (0000-0002-6993-4392, Technion – Israel Institute of Technology, corresponding author) |
| Year | 2022 |
| Volume | 200 |
| Issue | 4 |
| Publication date | 2022-07-11 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-022-03780-1 |
| OpenAlex | W4285094674 |
| Language | EN |
| References cited | 18 |
Epistemology · Metaphysics · Natural language · Natural language processing · Philosophy of language · Philosophy of science · Programming language · Proof of concept · Resource (disambiguation) · Semantic compression · Semantic computing · Semantic technology · Semantic Web · Semantics (computer science) · Variation (astronomy) · Artificial Intelligence · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Philosophy · Semantic Web and Ontologies
Iii.—inference and Meaning
On Quantifier Domain Restriction
Quantifiers and Propositional Attitudes
Proof-Theoretic Reconstruction of Generalized Quantifiers
Proof-Theoretic Semantics for Intensional Transitive Verbs
Meaning Approached Via Proofs
The epistemic significance of valid inference
Intensional Verbs and Quantifiers
On the proper treatment of opacity in certain verbs
| Highly cited | No |
|---|