An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.
Fedorishin, B.R.
Sibirskij Matematicheskij Zhurnal, Tome 48 (2007), p. 423-430 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PDF)
Publié le : 2007-01-01
EUDML-ID : urn:eudml:doc:55565 
@article{05379366,
     title = {An explicit basis for the admissible inference rules in the G\"odel-L\"ob logic GL.},
     journal = {Sibirskij Matematicheskij Zhurnal},
     volume = {48},
     year = {2007},
     pages = {423-430},
     zbl = {1164.03302},
     language = {en},
     url = {http://dml.mathdoc.fr/item/05379366}
}

Fedorishin, B.R. An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.. Sibirskij Matematicheskij Zhurnal, Tome 48 (2007) pp. 423-430. http://gdmltest.u-ga.fr/item/05379366/