Явный базис допустимых правил вывода логик конечной ширины
View/ Open:
URI (for links/citations):
https://elib.sfu-kras.ru/handle/2311/614Author:
Римацкий, Виталий В.
Vitaly V.Rimatsky
(Институт архитектуры и строительства,
Сибирский федеральный университет,
пр. Свободный 82, Красноярск, 660041,
Россия, e-mail: Gemmeny@rambler.ru)
Date:
2008-01Abstract:
В статье описывается явный конечный базис для допустимых правил вывода модальных логик
конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму. We find an explicit basis for all admissible rules of a representative (at least countable) class of
modal logics of finite widht extending the logic S4. Our basis consists of a sequence of rules which have a compact and simple form.
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
The Use of the Decisions of the European Court of Human Rights, the Constitutional Court of the Russian Federation when Investigating the Problems of the Criminal Law of the Russian Federation (Article One)
Plohova, Valentina I.; Плохова, В.И. (Сибирский федеральный университет. Siberian Federal University, 2017-07)The article presents the factors dictating the further investigation of the algorithm for assessing the validity of criminal law. It is necessary to check the validity of criminal policy, criminal law drafts, to train ... -
International Law and Decisions of the European Court of Human Rights in the Eyes of the Russian Legislator and Law Enforcer
Kondrashova, Tatiana V.; Кондрашова, Т.В. (Сибирский федеральный университет. Siberian Federal University, 2017-06)Taking into account the history of reception of foreign and international law by the Russian leg-islation and the changed historical and political conditions, the article considers the following questions: compliance of ... -
On an Analog of Descartes’ Rule of Signs and the Budan-Fourier Theorem for Entire Functions
Prenov, Barlikbay B.; Пренов, Барлыкбай Б. (Сибирский федеральный университет. Siberian Federal University, 2018)It is proven the analog of Descartes’ rule of signs and the Budan-Fourier theorem for entire functions -
The System Saving Mechanism in Russian Criminal Law: Notion, Structure, Value
Denisova, Anna V.; Денисова, А.В. (Сибирский федеральный университет. Siberian Federal University., 2014-12)The paper deals with the features of the system saving mechanism functioning in criminal law; the detailed description of its structure and contents is given; this mechanism value for providing branch integrity is revealed. ... -
Being an Ethical Speaker Online: Correspondence with Foreign Partners
Osetrova, Elena V.; Осетрова, Е.В. (Сибирский федеральный университет. Siberian Federal University, 2015-11)Analysis of the rules of language behavior in social network “VKontakte” is represented in the paper. 14 rules in total constitute the unwritten code (the term of T.V. Shmeleva): “Do not tell what is unpleasant for the ...