|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2022, Number 5, Pages 25–30
(Mi vmumm4492)
|
|
|
|
This article is cited in 5 scientific papers (total in 5 papers)
Mathematics
Topological models of propositional logic of problems and propositions
A. A. Onoprienko Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
The propositional fragment $\mathrm{HC}$ of the joint logic of problems and propositions introduced by S. A. Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic $\mathrm{HC}$ with respect to this type of models is shown. Topological models of the logic $\mathrm{H}4$ introduced by S. Artemov and T. Protopopescu are also constructed.
Key words:
non-classical logics, topological semantics.
Received: 06.10.2021
Citation:
A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 5, 25–30; Moscow University Mathematics Bulletin, 77:5 (2022), 236–241
Linking options:
https://www.mathnet.ru/eng/vmumm4492 https://www.mathnet.ru/eng/vmumm/y2022/i5/p25
|
Statistics & downloads: |
Abstract page: | 80 | Full-text PDF : | 35 | References: | 18 |
|