Bulletin of the IGPL, Volume 2
Volume 2, Number 1, March 1994
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team