Contents

  • 9.1 Expanding the Rules for Truth-Trees
  • 9.2 Truth-Trees and Quantificational Consistency
  • 9.3 Truth-Trees and Other Semantic Properties
  • 9.4 Trees for PLI
  • 9.5 Fine-Tuning the Tree Method