Sugihara's Criterion and Some Structural Parallels Between E→ and S3→ (Q3855152)
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: Sugihara's Criterion and Some Structural Parallels Between E→ and S3→ |
scientific article; zbMATH DE number 3655906
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sugihara's Criterion and Some Structural Parallels Between E→ and S3→ |
scientific article; zbMATH DE number 3655906 |
Statements
Sugihara's Criterion and Some Structural Parallels Between E→ and S3→ (English)
0 references
1978
0 references
fragments of E and S3
0 references
weakest and strongest formulas
0 references
necessity
0 references
implicational paradox
0 references
relevance
0 references
entailment
0 references
Fitch-style natural deduction rules
0 references
Sugihara's criterion
0 references
single variable fragments
0 references
