Рыбаков, В.В.. "Допустимые правила предтабличных модальных логик." Algebra i Logika 20.4 (1981): 440-464. <http://eudml.org/doc/187146>.
@article{Рыбаков1981, author = {Рыбаков, В.В.}, journal = {Algebra i Logika}, keywords = {derivable rules; provability; extensions of S4; superintuitionistic logics; decidability of the universal theory; Lindenbaum algebras; tabular logics; pretabular intuitionistic logics}, language = {rus}, number = {4}, pages = {440-464}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Допустимые правила предтабличных модальных логик}, url = {http://eudml.org/doc/187146}, volume = {20}, year = {1981}, }
TY - JOUR AU - Рыбаков, В.В. TI - Допустимые правила предтабличных модальных логик JO - Algebra i Logika PY - 1981 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 20 IS - 4 SP - 440 EP - 464 LA - rus KW - derivable rules; provability; extensions of S4; superintuitionistic logics; decidability of the universal theory; Lindenbaum algebras; tabular logics; pretabular intuitionistic logics UR - http://eudml.org/doc/187146 ER -
