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
  
• Patrick Blackburn, Wilfried Meyer-Viol:
  Linguistics, Logic and Finite Trees. 3-29
  
• Yde Venema:
  A Modal Logic for Quantification and Substitution. 31-45
  
• Yaroslav Shramko:
  Relevant Variants of Intuitionistic Logic. 47-53
  
• Josep Maria Font, Ramon Jansana:
  On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics. 55-76
  
• Vladimir Alexiev:
  Applications of Linear Logic to Computation: An Overview. 77-107
  

Volume 2, Number 2, September 1994

• Greg Restall:
  A Useful Substructural Logic. 137-148
  
• Donald Gillies:
  A Rapprochement between Deductive and Inductive Logic. 149-166
  
• Torbjörn Keisu:
  Finite and Rational Tree Constraints. 167-204
  
• Neil V. Murray, Erik Rosenthal:
  On the Computational Intractabilityof Analytic Tableau Methods. 205-228
  
• Grigoris Antoniou, Elmar Langetepe:
  Applying SLD-resolution to a class of non-Horn logic programs. 229-241
  
• 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
  
• Jürgen Dix:
  Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993. 251-253
  

Last update Sat May 18 20:30:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page