Bulletin of the Section of Logic 18/3 (1989)details

Table of contents

  • 1. Katsumi SASAKI, The simple substitution property of the intermediate propositional logics94

  • 2. Yuichi KOMORI, Logic based on combinators100

  • 3. Boguslaw WOLNIEWICZ, On atomic join-semilattices105

  • 4. Krzysztof SZYMANEK, Classical subtheories and intuitionism112

  • 5. Tomasz SKURA, A complete syntactical characterization of the intuitionistic logic116

  • 6. Pavel MATERNA, Do we need a restriction of the law of contradiction?121