Bulletin of the Section of Logic 23/3 (1994)details


Table of contents




  • 1. Dolph ULRICH, On the independence of B from I, C, W, K'1 and Karpenko's formula X96

  • 2. Jacek MALINOWSKI, Some theorems on equivalential tense logic98

  • 3. Takahito AOTO and Hiroakira ONO, Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK104

  • 4. Marek MAGDZIAK, Truth as an object113

  • 5. Igor URBAS, A note on "Carnot's logic"118

  • 6. Alexander S. KARPENKO, Sheffer's stroke for prime numbers126

  • 7. Jacek GEISLER and Marek NOWAK, Conditional negation on the positive logic130