Graded modalities. III (the completeness and compactness of S40) M. Fattorosi-BarnabaC. Cerrato OriginalPaper Pages: 99 - 110
Arithmetic based on the Church numerals in illative combinatory logic M. W. Bunder OriginalPaper Pages: 129 - 143
A note on sequent calculi intermediate between LJ and LK Branislav R. Boričić OriginalPaper Pages: 151 - 157