Теоретико-множественная семантика для системы Гейтинга Int

DOI10.21146/2074-1472-2016-22-2-9-26zbMATH Open1437.03082OpenAlexW2561798202MaRDI QIDQ5892409

Nikolai L'Vovich Arkhiereev

Publication date: 8 May 2017

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2016-22-2-9-26

zbMATH Keywords

modal logicintuitionistic logicmodel structureset of state-descriptions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Logic Programming ⋮ A step semantic system for set theory

This page was built for publication: Теоретико-множественная семантика для системы Гейтинга Int

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892409)