Crossmark

A Hierarchy of Determinative Sequent Systems with Different Substitution Rules

Published Online: 2024-04-10

Published Print: 2024-03

Authors

Tamazyan, Hakob A.

Chubaryan, Anahit A.
License Information

Text and Data Mining valid from 2024-03-01

Version of Record valid from 2024-03-01
More Information

Article History

Received: 6 October 2023

Revised: 30 October 2023

Accepted: 30 October 2023

First Online: 10 April 2024

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.

Document is current