Journals in DBLP

Logic Journal of the IGPL
2000, volume: 8, number: 6

1. Carlo Cellucci
   Analytic Cut Trees. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
2. Johan van Benthem
   Information Transfer across Chu Spaces. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
3. Marcel Crabbé
   On the Set of Atoms. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
4. Ryo Kashima
   Completeness of Implicational Relevant Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
5. Larisa Maksimova
   Strongly Decidable Properties of Modal and Intuitionistic Calculi. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
6. Michael Mendler
   Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
7. Greg Restall
   Defining Double Negation Elimination. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
8. Søren Riis, Meera Sitharam
   Generating hard tautologies using predicate logic and the symmetric group. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]
   
9. Evgeni E. Zolin
   Embeddings of Propositional Monomodal Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal]