Completeness and conservative extension results for some boolean relevant logics Steve GiambroneRobert K. Meyer OriginalPaper Pages: 1 - 14
A logic characterized by the class of connected models with nested domains Giovanna Corsi OriginalPaper Pages: 15 - 22
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi Wojciech Zielonka OriginalPaper Pages: 35 - 39
Absolutely independent axiomatizations for countable sets in classical logic Joanna Grygiel OriginalPaper Pages: 77 - 84