Journals in DBLP

Logic Journal of the IGPL
1997, volume: 5, number: 3

1. Josep Maria Font
   Belnap's Four-Valued Logic and De Morgan Lattices. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
   
2. Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso
   A Finite Axiomatization for Fork Algebras. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
   
3. Michael Gavrilovich
   A Lower Bound for Interpolation. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
   
4. Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Antonio Mario Sette, Michael B. Wrigley
   XI Brazilian Conference on Mathematical Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
   
5. Décio Krause, Jean-Yves Béziau
   Relativizations of the Principle of Identity. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
   
6. Gilles Richard, Frédéric Saubion
   Answer Synthesis for CLP Programs with Negation. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]
   
7. James T. Sasaki
   A Type Theory with Mixed Constructivity and Assignments. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1997, v:5, n:3, pp:- [Journal]