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

Table of contents

  • 1. Jerzy J. BLASZCZUK, Weakest normal calculi with respect to Mn-counterparts102

  • 2. Krzysztof CIESIELSKI, Threshold logic107

  • 3. Hajnal ANDREKA and Istvan NEMETI, Completeness of Floyd logic115

  • 4. Marek TOKARZ, The existence of matrices strongly adequate for E, R and their fragments121

  • 5. Zdzislaw DYWAN, Decidability of structural completeness for strongly finite propositional calculi129

  • 6. Miroslaw MAJEWSKI, On some matrix of the Birkhoff and V.Neumann quantum logic133

  • 7. Tadeusz PRUCNAL, On Friedman's problem in mathematical logic137

  • 8. Boguslaw WOLNIEWICZ, Objectives of propositions143