The relative consistency of system RRC* and some of its extensions Max A. Freund OriginalPaper Pages: 351 - 360
Proving theorems of the second order Lambek calculus in polynomial time Erik Aarts OriginalPaper Pages: 373 - 387
Perfect MV-algebras are categorically equivalent to abelianl-groups Antonio Di NolaAda Lettieri OriginalPaper Pages: 417 - 432
Cut-free sequent and tableau systems for propositional Diodorean modal logics Rajeev Goré OriginalPaper Pages: 433 - 457