An extension of ono's completeness result (Q3032233)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An extension of ono's completeness result |
scientific article |
Statements
An extension of ono's completeness result (English)
0 references
1990
0 references
intermediate predicate logic
0 references
minimum predicate extension
0 references
Kripke structures
0 references
intermediate propositional logic
0 references
semantical characterization
0 references
second slice
0 references