Bulletin of the Section of Logic 25/2 (1996)details


Table of contents




  • 1. Antonio M. SETTE and Elias H. ALVES, On the equivalence between some systems of non-classical logic68

  • 2. Roma J. ADILLON and Ventura VERDU, A Gentzen system equivalent to the BCK-logic73

  • 3. Piotr LUKOWSKI, Modal interpretation of Heyting-Brouwer logic80

  • 4. Alexander YASHIN, On Novikov's approach to the notion of a new intuitionistic connective: two negative examples84

  • 5. Jean-Yves BEZIAU, Identity, structure and logic89

  • 6. Andrzej INDRZEJCZAK, Cut-free sequent calculus for S595

  • 7. Janusz CZELAKOWSKI, Filtered subdirect products103