Real reduced models for relevant logics without WI (Q1203773)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Real reduced models for relevant logics without WI |
scientific article; zbMATH DE number 120378
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Real reduced models for relevant logics without WI |
scientific article; zbMATH DE number 120378 |
Statements
Real reduced models for relevant logics without WI (English)
0 references
22 February 1993
0 references
The paper corrects some technical details of observations, lemmas, and their proofs in \textit{J. K. Slaney's} ``Reduced models for relevant logics without WI'' [ibid. 28, 395-407 (1987; Zbl 0637.03018)]. It expands these results by showing that most of the calculi (without the system \(E\)) considered by Slaney are characterized by their reduced relational models or frames, and it ends with philosophically motivated doubts in the value of these systems as candidates for a logic of genuine entailment.
0 references
reduced model
0 references
derivable rule
0 references
entailment
0 references
