No label defined (Q4834486)
From MaRDI portal
scientific article; zbMATH DE number 759444
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 759444 |
Statements
27 July 1995
0 references
intermediate predicate logics
0 references
Kripke frame
0 references
Kripke sheaf
0 references
semantics
0 references
completeness
0 references
canonical formulas of propositional logics
0 references
