|
Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports], 2013, Volume 10, Pages 79–89
(Mi semr399)
|
|
|
|
This article is cited in 5 scientific papers (total in 5 papers)
Mathematical logic, algebra and number theory
Independent bases for admissible rules of pretabular modal logic and its extensions
V. V. Rimatskii, V. R. Kiyatkin Institute of Mathematics, Siberian Federal University
Abstract:
We obtain independent bases for admissible inference rules of pretabular modal logics PT2, PT3 and all its extensions. Also we describe such bases for global admissible rules of logics PT2, PT3.
Keywords:
(pretabular) modal logic, frame (model) Kripke, admissible inference rule, basуs for admissible rules.
Received September 22, 2012, published February 8, 2013
Citation:
V. V. Rimatskii, V. R. Kiyatkin, “Independent bases for admissible rules of pretabular modal logic and its extensions”, Sib. Èlektron. Mat. Izv., 10 (2013), 79–89
Linking options:
https://www.mathnet.ru/eng/semr399 https://www.mathnet.ru/eng/semr/v10/p79
|
Statistics & downloads: |
Abstract page: | 216 | Full-text PDF : | 71 | References: | 37 |
|