Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik (Q5549787)
From MaRDI portal
scientific article; zbMATH DE number 3264053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik |
scientific article; zbMATH DE number 3264053 |
Statements
Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik (English)
0 references
1968
0 references
general logic
0 references
