Crossmark

Closure Ordinal of Immediate Derivability Operator of Infinitary Action Logic

Published Online: 2024-12-27

Published Print: 2024-10

Authors

Pshenitsyn, T. G.
License Information

Text and Data Mining valid from 2024-10-01

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

Article History

Received: 29 January 2024

Revised: 11 March 2024

Accepted: 20 March 2024

First Online: 27 December 2024

Conflict of Interest

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

Document is current