Bulletin of the Section of Logic 16/1 (1987)details


Table of contents




  • 1. Jose M.MENDEZ, Axiomatizing E-> and R-> with Anderson and Belnap's "Strong and natural list of valid entailments"2

  • 2. Marek NOWAK, Remarks on characteristic consequence operation11

  • 3. Ewa ORLOWSKA, Logic for reasoning about knowledge26

  • 4. Ewa ORLOWSKA, A logic with relevant inplication39

  • 5. Marek TOKARZ, Persuasion46

  • 6. Richard SYLVAN, A relevant invalidity in Curry's foundations51