Bulletin of the Section of Logic 21/4 (1992)details


Table of contents




  • 1. Newton C.A.da COSTA and F.A.DORIA, On the existence of very difficult satisfiability problem122

  • 2. Krister SEGERBERG, How many logically constant actions are there?134

  • 3. Gordon BEAVERS, Distribution in Lukasiewicz logics140

  • 4. Katarzyna PALASINSKA, Three-element nonfinitely axiomatizable matrices147

  • 5. Ewa GRACZYNSKA, A word problem for normal and regular equations152

  • 6. Piotr LUKOWSKI, Matrix-frame semantics for ISCI and INT156

  • 7. R.ZUBER, A note on unary rules and a complete syntactic characterisation of propositional calculi163

  • 8. Max Peter URCHS, On determinism - still unproved in classical logic168