Logic Journal of the IGPL, Volume 5, 1997

Volume 5, Number 1, January 1997

• Editorial.
  
• István Németi:
  Strong Representability of Fork Algebras, a Set Theoretic Foundation. 3-23
  
• György Serény:
  Saturatedness in Cylindric Algebraic Model Theory. 25-48
  
• Karl Schlechta:
  A Reduction of the Theory of Confirmation to the Notions of Distance and Measure. 49-64
  
• Chrysafis Hartonas:
  Pretopology Semantics for Bimodal Intuitionistic Linear Logic. 65-78
  
• Gabriel Sandu:
  The Logic of Informational Independence and Finite Models. 79-95
  
• Alan Hutchinson:
  First Order Meta Theories. 97-144
  
• Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
  Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. 145-167
  

• Alain Heuerding:
  LWBtheory: Information about some Propositional Logics via the WWW. 169-174
  

Volume 5, Number 2, March 1997

• Arnon Avron:
  Multiplicative Conjunction as an Extensional Conjunction. 181-208
  
• Robin Hirsch, Ian M. Hodkinson:
  Axiomatising Various Classes of Relation and Cylindric Algebras. 209-229
  
• Lawrence S. Moss, Norman Danner:
  On the Foundations of Corecursion. 231-257
  
• Johan van Benthem:
  Modal Foundations for Predicate Logic. 259-286
  
• Serenella Cerrito, Marta Cialdea Mayer:
  A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. 287-300
  

• Alasdair Urquhart:
  Review of Feasible Mathematics II.
  

Volume 5, Number 3, May 1997

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

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

Volume 5, Number 4, July 1997

• Andreas Blass:
  Some Semantical Aspects of Linear Logic. 487-503
  
• J. Michael Dunn, Robert K. Meyer:
  Combinators and Structurally Free Logic. 505-537
  
• Wilfrid Hodges:
  Compositional Semantics for a Language of Imperfect Information. 539-563
  
• Peter Jipsen, Roger D. Maddux:
  Nonrepresentable Sequential Algebras. 565-574
  
• István Németi, András Simon:
  Relation Algebras from Cylindric and Polyadic Algebras. 575-588
  
• Andrew M. Pitts:
  A Note on Logical Relations Between Semantics and Syntax. 589-601
  
• Douglas Walton:
  How can logic best be applied to arguments? 603-614
  

Volume 5, Number 5, September 1997

• Jan van Eijck:
  Typed Logics With States. 623-645
  
• Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson:
  Parsing Natural Language using LDS: A Prototype. 647-671
  
• Wendy MacCaull:
  Relational Proof System for Linear and Other Substructural Logics. 673-697
  
• Ildikó Sain, Viktor Gyuris:
  Finite Schematizable Algebraic Logic. 699-751
  
• Karl Schlechta:
  Filters and Partial Orders. 753-772
  

• Peter A. Flach, Antonis C. Kakas:
  Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop. 773-778
  

Volume 5, Number 6, November 1997

• Roman Kossak:
  Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets. 787-794
  
• William P. R. Mitchell:
  The Carcinogenic Example. 795-810
  
• Patricia Peratto:
  Well-founded Relations in Type Theory. 811-852
  

• Antony Galton:
  Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects.
  

• Ruy J. G. B. de Queiroz:
  Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). 859-927
  

Last update Fri May 24 20:23:38 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page