Logic Journal of the IGPL, Volume 5, 1997

Volume 5, Number 1, January 1997

• Editorial.
  Electronic Edition (link) BibTeX
• István Németi:
  Strong Representability of Fork Algebras, a Set Theoretic Foundation.
  Electronic Edition (link) BibTeX
• György Serény:
  Saturatedness in Cylindric Algebraic Model Theory.
  Electronic Edition (link) BibTeX
• Karl Schlechta:
  A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
  Electronic Edition (link) BibTeX
• Chrysafis Hartonas:
  Pretopology Semantics for Bimodal Intuitionistic Linear Logic.
  Electronic Edition (link) BibTeX
• Gabriel Sandu:
  The Logic of Informational Independence and Finite Models.
  Electronic Edition (link) BibTeX
• Alan Hutchinson:
  First Order Meta Theories.
  Electronic Edition (link) BibTeX
• Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
  Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
  Electronic Edition (link) BibTeX

• Alain Heuerding:
  LWBtheory: Information about some Propositional Logics via the WWW.
  Electronic Edition (link) BibTeX

Volume 5, Number 2, March 1997

• Arnon Avron:
  Multiplicative Conjunction as an Extensional Conjunction.
  Electronic Edition (link) BibTeX
• Robin Hirsch, Ian M. Hodkinson:
  Axiomatising Various Classes of Relation and Cylindric Algebras.
  Electronic Edition (link) BibTeX
• Lawrence S. Moss, Norman Danner:
  On the Foundations of Corecursion.
  Electronic Edition (link) BibTeX
• Johan van Benthem:
  Modal Foundations for Predicate Logic.
  Electronic Edition (link) BibTeX
• Serenella Cerrito, Marta Cialdea Mayer:
  A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4.
  Electronic Edition (link) BibTeX

• Alasdair Urquhart:
  Review of Feasible Mathematics II.
  Electronic Edition (link) BibTeX

Volume 5, Number 3, May 1997

• Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso:
  A Finite Axiomatization for Fork Algebras.
  Electronic Edition (link) BibTeX
• Michael Gavrilovich:
  A Lower Bound for Interpolation.
  Electronic Edition (link) BibTeX
• Décio Krause, Jean-Yves Béziau:
  Relativizations of the Principle of Identity.
  Electronic Edition (link) BibTeX
• Gilles Richard, Frédéric Saubion:
  Answer Synthesis for CLP Programs with Negation.
  Electronic Edition (link) BibTeX
• James T. Sasaki:
  A Type Theory with Mixed Constructivity and Assignments.
  Electronic Edition (link) BibTeX
• Josep Maria Font:
  Belnap's Four-Valued Logic and De Morgan Lattices.
  Electronic Edition (link) BibTeX

• Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Antonio Mario Sette, Michael B. Wrigley:
  XI Brazilian Conference on Mathematical Logic.
  Electronic Edition (link) BibTeX

Volume 5, Number 4, July 1997

• Andreas Blass:
  Some Semantical Aspects of Linear Logic.
  Electronic Edition (link) BibTeX
• J. Michael Dunn, Robert K. Meyer:
  Combinators and Structurally Free Logic.
  Electronic Edition (link) BibTeX
• Wilfrid Hodges:
  Compositional Semantics for a Language of Imperfect Information.
  Electronic Edition (link) BibTeX
• Peter Jipsen, Roger D. Maddux:
  Nonrepresentable Sequential Algebras.
  Electronic Edition (link) BibTeX
• István Németi, András Simon:
  Relation Algebras from Cylindric and Polyadic Algebras.
  Electronic Edition (link) BibTeX
• Andrew M. Pitts:
  A Note on Logical Relations Between Semantics and Syntax.
  Electronic Edition (link) BibTeX
• Douglas Walton:
  How can logic best be applied to arguments?
  Electronic Edition (link) BibTeX

Volume 5, Number 5, September 1997

• Jan van Eijck:
  Typed Logics With States.
  Electronic Edition (link) BibTeX
• Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson:
  Parsing Natural Language using LDS: A Prototype.
  Electronic Edition (link) BibTeX
• Wendy MacCaull:
  Relational Proof System for Linear and Other Substructural Logics.
  Electronic Edition (link) BibTeX
• Ildikó Sain, Viktor Gyuris:
  Finite Schematizable Algebraic Logic.
  Electronic Edition (link) BibTeX
• Karl Schlechta:
  Filters and Partial Orders.
  Electronic Edition (link) BibTeX

• Peter A. Flach, Antonis C. Kakas:
  Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop.
  Electronic Edition (link) BibTeX

Volume 5, Number 6, November 1997

• Roman Kossak:
  Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.
  Electronic Edition (link) BibTeX
• William P. R. Mitchell:
  The Carcinogenic Example.
  Electronic Edition (link) BibTeX
• Patricia Peratto:
  Well-founded Relations in Type Theory.
  Electronic Edition (link) BibTeX

• Antony Galton:
  Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects.
  Electronic Edition (link) BibTeX

• Ruy J. G. B. de Queiroz:
  Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97).
  Electronic Edition (link) BibTeX