Transfers between Logics and their Applications M.E. ConiglioW.A. Carnielli OriginalPaper Pages: 367 - 400
A Predicate Logical Extension of a Subintuitionistic Propositional Logic Ernst Zimmermann OriginalPaper Pages: 401 - 410
Interpreting First-order Theories into a Logic of Records Marcel van de Vel OriginalPaper Pages: 411 - 432