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