Bulletin of the Section of Logic 21/1 (1992)details


Table of contents




  • 1.  Takao INOUE, Some type of formulas and the faithfulness of Flagg and Friedman's translation2

  • 2. Adam KOLANY, Equivalents of the compactness theorem for locally finite sets of sentences12

  • 3. Elias H.ALVES, The first axiomatization of a paraconsistent logic19

  • 4. Anna GOMOLINSKA, A non-standard approach to autoepistemic logic21

  • 5. Carlos G.GONZALEZ, A note on Zermelo set theory28

  • 6. Tomasz SKURA, Refutation rules for three modal logics31