No label defined (Q4724624)
From MaRDI portal
scientific article; zbMATH DE number 3997784
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3997784 |
Statements
1985
0 references
intuitionistic predicate calculus
0 references
conservative extension
0 references
intuitionistic sentential calculus
0 references
intuitionistic sentential connective
0 references
Beth semantics
0 references
IPC
0 references
modal operators
0 references
intuitionistic connective
0 references
arithmetically definable model
0 references
intuitionistic implicational logic
0 references
