Crossmark

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

Published Online: 2024-03-14

Published Print: 2023-12

Authors

Onoprienko, A. A.
License Information

Text and Data Mining valid from 2023-12-01

Version of Record valid from 2023-12-01
More Information

Article History

Received: 27 November 2023

Revised: 7 December 2023

Accepted: 7 December 2023

First Online: 14 March 2024

CONFLICT OF INTEREST

: The author of this work declares that she has no conflicts of interest.

Document is current