Subintuitionistic logics (Q1333312)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Subintuitionistic logics |
scientific article |
Statements
Subintuitionistic logics (English)
0 references
13 September 1994
0 references
subintuitionistic logic
0 references
Kripke semantics
0 references
proof theory
0 references
algebraic models
0 references
modelling quantification
0 references
