Persons: Fedorishin, Bogdan Romanovich

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Fedorishin, Bogdan Romanovich

	Publications in Math-Net.Ru	Citations
	2007
1.	B. R. Fedorishin, “An explicit basis for the admissible inference rules in the Gödel–Löb logic $GL$”, Sibirsk. Mat. Zh., 48:2 (2007), 423–430 ; Siberian Math. J., 48:2 (2007), 339–345	6
	2002
2.	A. N. Rutskii, B. R. Fedorishin, “An inheritance criterion for the admissible inference rules of $K4$”, Sibirsk. Mat. Zh., 43:6 (2002), 1350–1361 ; Siberian Math. J., 43:6 (2002), 1094–1102	3

Organisations