Independence of Rose's axioms for <i>m</i>-valued implication (Q5572303)
From MaRDI portal
scientific article; zbMATH DE number 3290278
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence of Rose's axioms for <i>m</i>-valued implication |
scientific article; zbMATH DE number 3290278 |
Statements
Independence of Rose's axioms for <i>m</i>-valued implication (English)
0 references
1969
0 references
general logic
0 references
