Тишковский, Д.Е.. "Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик." Algebra i Logika 40.2 (2001): 218-242. <http://eudml.org/doc/187970>.
@article{Тишковский2001, author = {Тишковский, Д.Е.}, journal = {Algebra i Logika}, keywords = {quasicylindric algebra; superintuitionistic logic; projective Beth property; Beth property; interpolation property; disjunction property; existential property}, language = {rus}, number = {2}, pages = {218-242}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик}, url = {http://eudml.org/doc/187970}, volume = {40}, year = {2001}, }
TY - JOUR AU - Тишковский, Д.Е. TI - Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик JO - Algebra i Logika PY - 2001 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 40 IS - 2 SP - 218 EP - 242 LA - rus KW - quasicylindric algebra; superintuitionistic logic; projective Beth property; Beth property; interpolation property; disjunction property; existential property UR - http://eudml.org/doc/187970 ER -