Bulletin of the Section of Logic 34/4 (2005)details

Table of contents

  • 1. Mladen VUKOVIC, Hennessy-Milner Theorem for Interpretability Logic195

  • 2. L. DESCALCO and Manuel A. MARTINS, On the Injectivity of the Leibniz Operator203

  • 3. Norihiro KAMIDE, A Cut-free System for 16-Valued Reasoning213

  • 4. Boguslaw WOLNIEWICZ, On a Minimality Condition227

  • 5. Krystyna MRUCZEK-NASIENIEWSKA and Marek NASIENIEWSKI, Syntactical and Semantical Characterization of a Class of Paraconsistent Logics229