Явные определения неявно определимых объектов в некоторых модальных логиках.
Л.Л. Максимова (1997)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “Допустимые правила для логик, включающих S4.3.”
Явные определения неявно определимых объектов в некоторых модальных логиках.
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Л.Л. Максимовa (1989)
Sibirskij matematiceskij zurnal
Similarity:
Новая регулярная константа в интуиционистской логике высказываний
А.Д. Яшин (1996)
Sibirskij matematiceskij zurnal
Similarity:
Роль детерминизма в языках запросов для баз данных.
С.С. Магазов (1987)
Sibirskij matematiceskij zurnal
Similarity:
Критерии полноты систем функций на конечном кольце и квазифробениусовы кольца
А.А. Нечаев (1983)
Sibirskij matematiceskij zurnal
Similarity:
Об одной недетерминированной программной логике
И.Х. Мусикаев (1986)
Sibirskij matematiceskij zurnal
Similarity:
On the consistency of certain logical calculus
П.С. Новиков (1943)
Matematiceskij sbornik
Similarity:
О свойствах суперинтуиционистских пропозициональных исчислений.
В.И. Хомич (1990)
Sibirskij matematiceskij zurnal
Similarity:
О проблеме вхождения для свободных и почти свободных структур
Л.К. Чеботарева (1967)
Sibirskij matematiceskij zurnal
Similarity:
Явные формулы для обращения лучевого преобразования в пространствах постоянной кривизны.
А.С. Денисюк (1997)
Sibirskij matematiceskij zurnal
Similarity:
Ещё раз о счетно-категоричных предложениях.
А.С. Морозов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Большие уклонения в пространстве траекторий для последовательностей и процессов со стационарными приращениями
А.А. Могульский (1975)
Sibirskij matematiceskij zurnal
Similarity: