An explicit basis for the admissible inference rules in the Gödel-Löb logic <Emphasis Type="Italic">GL</Emphasis> |
| |
Authors: | B R Fedorishin |
| |
Institution: | (1) Krasnoyarsk State Technical University, Krasnoyarsk, Russia |
| |
Abstract: | We describe an explicit basis for the admissible inference rules in the Gödel-Löb logic. The basis consists of a sequence of inference rules in infinitely many variables. Inference rules in the reduced form play an important role in this study. Alongside a basis for the admissible rules we obtain a basis for the quasi-identities of the countable rank free algebra in the Gödel-Löb logic. |
| |
Keywords: | modal logic inference rule admissible rule frame basis |
本文献已被 SpringerLink 等数据库收录! |