On Analogues of Herbrand’s and Harrop’s Theorems for the Joint Logic of Problems and Propositions QHC

IF 0.5 4区数学 Q3 MATHEMATICS

Doklady Mathematics Pub Date : 2024-03-14 DOI:10.1134/S1064562423701685

A. A. Onoprienko

引用次数: 0

Abstract

In this paper analogues of Herbrand’s and Harrop’s theorems for the logic \({\text{QHC}}\) are proved.

查看原文本刊更多论文

论问题与命题联合逻辑中赫布兰德定理和哈罗普定理的类比 QHC

摘要本文证明了逻辑 \({\text{QHC}}\) 的赫布兰定理和哈罗普定理的相似性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Doklady Mathematics 数学-数学

CiteScore

1.00

自引率

16.70%

发文量

审稿时长

3-6 weeks

期刊介绍： Doklady Mathematics is a journal of the Presidium of the Russian Academy of Sciences. It contains English translations of papers published in Doklady Akademii Nauk (Proceedings of the Russian Academy of Sciences), which was founded in 1933 and is published 36 times a year. Doklady Mathematics includes the materials from the following areas: mathematics, mathematical physics, computer science, control theory, and computers. It publishes brief scientific reports on previously unpublished significant new research in mathematics and its applications. The main contributors to the journal are Members of the RAS, Corresponding Members of the RAS, and scientists from the former Soviet Union and other foreign countries. Among the contributors are the outstanding Russian mathematicians.