Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Articles
Romas Alonderis
Institute of Mathematics and Informatics
Published 1999-12-17
https://doi.org/10.15388/LMD.1999.35639
PDF

How to Cite

Alonderis, R. (1999) “Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps”, Lietuvos matematikos rinkinys, 39(III), pp. 305–310 . doi:10.15388/LMD.1999.35639.