No label defined (Q4724624)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3997784
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8492764830589294
0 references
0.8385007977485657
0 references
0.8217644095420837
0 references
0.8077182769775391
0 references
