Journals in DBLP

Logic Journal of the IGPL
2004, volume: 12, number: 6

1. Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
   Editorial. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:431-437 [Journal]
   
2. Raymond M. Smullyan
   An Isomorphism Related to Gödel's Fundamental Operations. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:439-445 [Journal]
   
3. Aldo V. Figallo, Paolo Landini, Alicia Ziliani
   Ockham Algebras with Additional Operators. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:447-459 [Journal]
   
4. Renato A. Lewin, Marta Sagastume, Pedro Massey
   MV^* - Algebras. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:461-483 [Journal]
   
5. Renato A. Lewin, Marta Sagastume, Pedro Massey
   Chang's L(stroke)^* Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:485-497 [Journal]
   
6. Claudia Sanza
   Notes on n x m-valued Lukasiewicz Algebras with Negation. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:499-507 [Journal]
   
7. Martín Figallo
   Finite Diagonal-free Two-dimensional Cylindric Algebras. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:509-523 [Journal]
   
8. Andreas B. M. Brunner, Francisco Miraglia
   An Omitting Types Theorem for Sheaves over Topological Spaces. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:525-548 [Journal]
   
9. María Fernanda Pallares
   Extending the First Gentzen's Consistency Proof to the Intuitionistic Case. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2004, v:12, n:6, pp:549-560 [Journal]
   
10. Claudio Pizzi
    Contenability and the Logic of Consequential Implication. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:6, pp:561-579 [Journal]
    
11. Wagner de Campos Sanz
    Relating Intuitionist Negation and Triviality. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:6, pp:581-599 [Journal]
    
12. Lília Ramalho Martins, Ana Teresa C. Martins
    Natural Deduction and Weak Normalization for Full Linear Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:6, pp:601-625 [Journal]
    
13. Paulo A. S. Veloso, Sheila R. M. Veloso
    Functional Interpretation of Logics for 'Generally'. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:6, pp:627-640 [Journal]