No label defined (Q4887107)
From MaRDI portal
scientific article; zbMATH DE number 912318
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 912318 |
Statements
11 March 1997
0 references
superintuitionistic logic
0 references
Kripke semantics
0 references
intermediate predicate logics
0 references
Kripke completeness
0 references
disjunctive and existence properties
0 references
fixed point
0 references
