Recherches sur un sous-système du calcul des propositions. (Q2601632)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recherches sur un sous-système du calcul des propositions. |
scientific article |
Statements
Recherches sur un sous-système du calcul des propositions. (English)
0 references
1937
0 references
Es werden solche Formeln des Aussagenkalküls betrachtet, in denen als einzige Aussagenverknüpfung die Äquivalenz vorkommt. Für den Bereich dieser Formeln wird ein unabhängiges und vollständiges Axiomensystem aufgestellt.
0 references
