Volume 4, Number 1, February 1996
Volume 4, Number 2, March 1996
- Dusko Pavlovic:
Maps II: Chasing Diagrams in Categorical Proof Theory.
159-194

- Fairouz Kamareddine, Twan Laan:
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.
195-213

- Norman D. Megill, Martin W. Bunder:
Weaker D-Complete Logics.
215-225

- Luc De Raedt, Nada Lavrac:
Multiple Predicate Learning in Two Inductive Logic Programming Settings.
227-254

- Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper.
255-272

- Timothy Surendonk:
A Non-Standard Injection Between Canonical Frames.
273-282

- Timothy Williamson:
Some Admissible Rules in Modal Systems with the Brouwerian Axiom.
283-303

- Heinrich Wansing:
Reviews.
305-308

- Ruy J. G. B. de Queiroz:
Second Workshop on Logic, Language, Information and Computation (WoLLIC'95).
309-344

Volume 4, Number 3, June 1996
Last update Thu May 23 18:52:43 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page