Categorial grammars determined from linguistic data by unification Wojciech BuszKowskiGerald Penn OriginalPaper Pages: 431 - 454
The simple substitution property of Gödel's intermediate propositional logics S n 's Katsumi Sasaki OriginalPaper Pages: 471 - 481
Linear axiomatics of commutative product-free Lambek calculus Wojciech Zielonka OriginalPaper Pages: 515 - 522
A general possible worlds framework for reasoning about knowledge and belief Heinrich Wansing OriginalPaper Pages: 523 - 539
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic Beata Konikowska OriginalPaper Pages: 541 - 555
Conditionals and monotonic belief revisions: the success postulate Horacio L. Arlo Costa OriginalPaper Pages: 557 - 566