Bulletin of the IGPL, Volume 2

Volume 2, Number 1, March 1994

• Dov M. Gabbay, Ruy J. G. B. de Queiroz:
  Speed with Quality. 1-2
  Electronic Edition (link) BibTeX
• Patrick Blackburn, Wilfried Meyer-Viol:
  Linguistics, Logic and Finite Trees. 3-29
  Electronic Edition (link) BibTeX
• Yde Venema:
  A Modal Logic for Quantification and Substitution. 31-45
  Electronic Edition (link) BibTeX
• Yaroslav Shramko:
  Relevant Variants of Intuitionistic Logic. 47-53
  Electronic Edition (link) BibTeX
• Josep Maria Font, Ramon Jansana:
  On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics. 55-76
  Electronic Edition (link) BibTeX
• Vladimir Alexiev:
  Applications of Linear Logic to Computation: An Overview. 77-107
  Electronic Edition (link) BibTeX

Volume 2, Number 2, September 1994

• Greg Restall:
  A Useful Substructural Logic. 137-148
  Electronic Edition (link) BibTeX
• Donald Gillies:
  A Rapprochement between Deductive and Inductive Logic. 149-166
  Electronic Edition (link) BibTeX
• Torbjörn Keisu:
  Finite and Rational Tree Constraints. 167-204
  Electronic Edition (link) BibTeX
• Neil V. Murray, Erik Rosenthal:
  On the Computational Intractabilityof Analytic Tableau Methods. 205-228
  Electronic Edition (link) BibTeX
• Grigoris Antoniou, Elmar Langetepe:
  Applying SLD-resolution to a class of non-Horn logic programs. 229-241
  Electronic Edition (link) BibTeX
• Sven Ove Hansson:
  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993. 249-251
  Electronic Edition (link) BibTeX
• Jürgen Dix:
  Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993. 251-253
  Electronic Edition (link) BibTeX