Теоретико-множественная семантика для системы Гейтинга Int (Q5892409)
From MaRDI portal
scientific article; zbMATH DE number 6712698
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Теоретико-множественная семантика для системы Гейтинга Int |
scientific article; zbMATH DE number 6712698 |
Statements
Теоретико-множественная семантика для системы Гейтинга Int (English)
0 references
8 May 2017
0 references
modal logic
0 references
intuitionistic logic
0 references
model structure
0 references
set of state-descriptions
0 references
