Bulletin of the Section of Logic 7/2 (1978)details


Table of contents




  • 1. David MILLER, On provability measures for deductive systems III51

  • 2. Stanislaw ZACHOROWSKI, Dummet's LC has the interpolation property58

  • 3. Richard ROUTLEY, An inadequacy in Kripke-semantics for intuitionistic quantificational logic61

  • 4. Ewa ORLOWSKA, Resolution system for ω+-valued logic68

  • 5. Zdzislaw DYWAN, Dual counterparts of strongly finite consequence75

  • 6. Mieczyslaw OMYLA, Boolean theories with quantifiers76

  • 7. Elias H. ALVES and Jose E.de ALMEIDA MOURA, On some higher-order predicate calculi84

  • 8. Ayda I. ARRUDA, Some remarks on Griss' logic of negationless intuitionistic mathematics85

  • 9. Rolando CHUAQUI, Bernays' class theory86

  • 10. Roberto CIGNOLI, Deductive systems and congruence relation in ortholattices87

  • 11. Manuel CORRADA and Rolando CHUAQUI, Internal models for any finite subset of the axioms of the impredicative theory of classes88

  • 12. Matias F. DIAS, The reals in D*88

  • 13. Manuel M. FIDEL, An algebraic study of a propositional system of Nelson89

  • 14. Marcel GUILLAUME, Some remarks in set theory90

  • 15. Jerzy KOTAS and Newton C.A.da COSTA, On the problem of Jaskowski and the logics of Lukasiewicz91

  • 16. Andrea LOPARIC, The method of valuations in modal logic91

  • 17. Luis H.L.dos SANTOS, Discussive versions of the modal calculi T, B, S4 and S592

  • 18. Carlos LUNGARZO, Superposition of states in quantum logic from a set theoretical point of view92

  • 19. Maria V. MARSHALL and Rolando CHUAQUI, Constructability in the impredicative theory of classes93

  • 20. Irene MIKENBERG, From total to partial algebras94

  • 21. Charles C. PINTER, Cylindric algebras with a property of Rasiowa and Sikorski95

  • 22. Andres R. RAGGIO, A proof-theoretic analysis of da Costa's C*95

  • 23. H.P. SANKAPPANAVAR, Decision problems: history and methods96

  • 24. Antonio M.SETTE and J.S. SETTE, Functorialization of first-order language with finitely many predicates97