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