Sur le calcul des propositions. (Q2598602)
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: Sur le calcul des propositions. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sur le calcul des propositions. |
scientific article |
Statements
Sur le calcul des propositions. (English)
0 references
1938
0 references
Für eine Reihe von Möglichkeiten, die Grundverknüpfungen im Aussagenkalkül zu wählen, werden zugehörige Axiomensysteme angegeben. Die Ableitungsregeln sind nicht genannt, sollen aber wohl die üblichen, d. h. Einsetzungs- und Abtrennungsregel, sein. Die Beweise sind nur angedeutet.
0 references
