<?xml version="1.0" standalone="yes"?>
<Paper uid="J87-1002">
  <Title>MODUS BREVIS FORMS (MODUS PONENS): Given Premises Conclusion Normal P ~ Q, P Q Missing Minor P--,- Q Q</Title>
  <Section position="15" start_page="4" end_page="4" type="ackno">
    <SectionTitle>
ACKNOWLEDGMENTS
</SectionTitle>
    <Paragraph position="0"> This work was supported in part by the Natural Sciences and Engineering Research Council of Canada. I am grateful to the anonymous referees for their valuable comments and to Ray Perrault for his initial supervision of this research.</Paragraph>
  </Section>
class="xml-element"></Paper>