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

Abstract

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