Special cases of the interpolation theorem for classical predicate calculus ; Специальные случаи интерполяционной теоремы для классического исчисления предикатов

Συγγραφείς: Dmitry Alekseevich Cybulski, Дмитрий Алексеевич Цибульский

Πηγή: Chebyshevskii Sbornik; Том 25, № 2 (2024); 222-234 ; Чебышевский сборник; Том 25, № 2 (2024); 222-234 ; 2226-8383 ; 10.22405/2226-8383-2024-25-2

Θεματικοί όροι: хорновский интерполянт, classical predicate calculus, universal interpolant, Horn interpolant, классическое исчисление предикатов, универсальный интерполянт

Περιγραφή αρχείου: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1740/1193; Craig W. Linear Reasoning. A New Form of the Herbrand–Gentzen Theorem. // Jour. symbolic; logic, Vol. 22, P. 250-268.; Lynon R. C. An Interpolation Theorem in the Predicate Calculus. // Pacific jour. math., Vol.; P. 129-142.; Тайцлин М. А. Реферат на ст. Линдона. // Jour. symbolic logic., Vol. 25, P. 273-274.; Henkin L. A. An Extension of the Craig–Lyndon Interpolation Theorem. // Ibid., Vol. 28, P.; 216.; Sch¨utte K. Der Interpolationssatz der intuitionistischen Pr¨adikaten-logik. // Math. Ann., Vol.; P. 192-200.; Максимова Л. Л. Теорема Крейга в суперинтуиционистских логиках и амальгамируемые; многообразия псевдобулевых алгебр. // Алгебра и логика, т. 16:6, с. 643-681.; Maksimova L. On Variable Separation in Modal and Superintuitionistic Logics. // Studia; Logica, Vol. 55, P. 99-112.; Beth E. W. On Padoa’s Method in the Teory of Definition. // Ibid., Vol. 56, P. 330-339.; Robinson A. A Result of Consistency and It’s Application to the Theory of Definition. // Kon.; Ned. Akad., Amsterdam, Proc., Ser. A, Vol. 59, P. 47-58.; Kleene S. C. Mathematical Logic. // John Wiley & Sons, inc., 1967, New York, P. 394-441.; Мальцев А. И. Алгебраические системы. // Наука, 1970, Москва, с. 163-192.; Оревков В. П. Верхние оценки удлинения выводов при устранении сечений. // Записки; науч. семинаров ЛОМИ, т. 137, с. 87-98.; Оревков В. П. О гливенковских классах секвенций. // Труды ордена Ленина Мат. инсти-; тута им. Стеклова, т. 98, с. 131-154.; Ершов Ю.Л., Палютин Е. А. Математическая логика. // Наука, 1987, Москва, с. 209-214.; Gentzen G. Untersuchungen ¨uber das logische Schließen. I, II. // Math. Zeitschrift, Vol. 39, P. 176-210, 405-443.; Kleene S. C. Permutability of inferences in Gentzen’s caculi LK and LJ. // Memories of the; Am. math. society, Vol. 10, P. 1-26.; https://www.chebsbornik.ru/jour/article/view/1740

Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/1740
https://doi.org/10.22405/2226-8383-2024-25-2-222-234