Bulletin of the Section of Logic 6/3 (1977)details


Table of contents




  • 1. Andrzej WRONSKI, On the depth of a consequence operation96

  • 2. Jacek K. KABZINSKI, An axiomatization of the variety of equivalential algebras by a single identity102

  • 3. S.K. THOMASON, Possible worlds and many truth values107

  • 4. W.J. BLOK, The lattice of modal logics112

  • 5. Piotr S. KRZYSTEK, On free relatively pseudocomplemented semilattice with three generators116

  • 6. J.R. TROTTER, Paradise lost

  • 7. S.H. VOSS and C. SAYWORD, The structure of type theory

  • 8. C. MORTENSEN and G. NERLICH, Physical topology: some problems

  • 9. R.T. BRADY, Two remarks on the logic of significance and context

  • 10. J.N. CROSSLEY, New directions in foundations of mathematics

  • 11. J.D. MACKENZIE, The dialectical rule of strenght

  • 12. L. CUMMING, Thing, name, number

  • 13. J.E. HUTCHINSON, Model theory via imaginary universes

  • 14. Michael A.Mc ROBBIE, A tableau system for positive relevant implication

  • 15. F.R. ROUTLEY and Andrea LOPARIC, Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systems

  • 16. E.A. SONENBERG, On the metamathematics of ordinal arithmetics

  • 17. Robert K.MEYER, Current research in relevant logic

  • 18. P. JABLON, A consistent alternative set theory and a new foundation for arithmetic

  • 19. Graham PRIEST, The logic of paradox

  • 20. J. STAPLES, Combinatory logics and lambda calculi as model programming languages

  • 21. G.F. LIDDELL, A logic for indefinite propositions

  • 22. I.L. HUMBERSTONE, An alternative account of bringing about (with a pinch of relevance)