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'₁ 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