Bulletin of the Section of Logic 22/3 (1993)details


Table of contents




  • 1. Alexander S.KARPENKO, Construction of classical propositional logic92

  • 2. Newton C.A.da COSTA and Jean-Yves BEZIAU, Carnot's logic98

  • 3. Tatsuya SHIMURA and Nobu-Yuki SUZUKI, Some super-intuitionistic logics as the logical fragments of equational theories106

  • 4. Jacek MALINOWSKI, The least modal equivalential logic113

  • 5. Andrzej WISNIEWSKI, Reducibility of questions to sets of yes-no119

  • 6. Karl-Heinz DIENER, On the natural order relation in Peano algebras with finitary or infinitary operations127