New operations in intuitionistic calculus (Q1132866)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | New operations in intuitionistic calculus |
scientific article |
Statements
New operations in intuitionistic calculus (English)
0 references
1978
0 references
intuitionistic propositional calculus with additional operators
0 references
Kripke models
0 references
provability
0 references