An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.

Fedorishin, B.R.. "An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.." Sibirskij Matematicheskij Zhurnal 48.2 (2007): 423-430. <http://eudml.org/doc/55565>.

@article{Fedorishin2007,
author = {Fedorishin, B.R.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {modal logic; inference rule; admissible rule; frame; basis},
language = {eng},
number = {2},
pages = {423-430},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.},
url = {http://eudml.org/doc/55565},
volume = {48},
year = {2007},
}

TY - JOUR
AU - Fedorishin, B.R.
TI - An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.
JO - Sibirskij Matematicheskij Zhurnal
PY - 2007
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 48
IS - 2
SP - 423
EP - 430
LA - eng
KW - modal logic; inference rule; admissible rule; frame; basis
UR - http://eudml.org/doc/55565
ER -