A Kripke-style semantics for R-Mingle using a binary accessibility relation J. Michael Dunn OriginalPaper Pages: 163 - 172
Some results concerning finite model separability of propositional calculi Ronald Harrop OriginalPaper Pages: 179 - 189
The Leśniewski-Curry theory of syntactical categories and the categorially open functors Daniel R. Vanderveken OriginalPaper Pages: 191 - 201