Non-axiomatizable second order intuitionistic propositional logic (Q1361248): Difference between revisions
From MaRDI portal
Import recommendations run Q6767936 |
Changed label, description and/or aliases in en, and other parts |
||
| description / en | description / en | ||
scientific article | scientific article; zbMATH DE number 1038663 | ||
Latest revision as of 08:11, 17 July 2025
scientific article; zbMATH DE number 1038663
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-axiomatizable second order intuitionistic propositional logic |
scientific article; zbMATH DE number 1038663 |
Statements
Non-axiomatizable second order intuitionistic propositional logic (English)
0 references
23 July 1997
0 references
recursive axiomatizability
0 references
intuitionistic logic
0 references
second-order intuitionistic propositional logic
0 references
Kripke frames
0 references
0.9347012
0 references
0.9184832
0 references
0.90654504
0 references
0 references
0.9062361
0 references
0.90366757
0 references
0.90354073
0 references
