The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01048687 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W4237633286 / rank | |||
Normal rank | |||
Latest revision as of 08:22, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment |
scientific article |
Statements
The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (English)
0 references
1994
0 references
Explicating entailment in terms of commitments, the authors stress the normative character of logical theory. Using natural deduction (Fitch style) and algebraic semantics (Kripke style), they present four axiomatizations of entailment (the only connectives being conjunction and implication) and connect them with particular constraints concerning the degree of embedding of commitments. A ``relevance'' version will be explained in the forthcoming second part of the article.
0 references
modal logic
0 references
theoremhood
0 references
natural deduction
0 references
algebraic semantics
0 references
axiomatizations of entailment
0 references
degree of embedding of commitments
0 references
