Logic Journal of IGPL

Articles

Walter Alexandre Carnielli, Marcelo Esteban Coniglio, and Itala Maria Loffredo D'Ottaviano

Editorial
Logic Jnl IGPL 2004 12: 431-437; doi:10.1093/jigpal/12.6.431 [PDF] [Request Permissions]  

Raymond M. Smullyan

An Isomorphism Related to Gödel's Fundamental Operations
Logic Jnl IGPL 2004 12: 439-445; doi:10.1093/jigpal/12.6.439 [PDF] [Request Permissions]  

Aldo V. Figallo, Paolo Landini, and Alicia Zilliani

Ockham Algebras with Additional Operators
Logic Jnl IGPL 2004 12: 447-459; doi:10.1093/jigpal/12.6.447 [Abstract] [PDF] [Request Permissions]  

Renato Lewin, Marta Sagastume, and Pedro Massey

MV^*—Algebras
Logic Jnl IGPL 2004 12: 461-483; doi:10.1093/jigpal/12.6.461 [Abstract] [PDF] [Request Permissions]  

Renato Lewin, Marta Sagastume, and Pedro Massey

Chang's ^* Logic
Logic Jnl IGPL 2004 12: 485-497; doi:10.1093/jigpal/12.6.485 [Abstract] [PDF] [Request Permissions]  

Claudia Sanza

Notes on n x m-valued ukasiewicz Algebras with Negation
Logic Jnl IGPL 2004 12: 499-507; doi:10.1093/jigpal/12.6.499 [Abstract] [PDF] [Request Permissions]  

Martín Figallo

Finite Diagonal-free Two-dimensional Cylindric Algebras
Logic Jnl IGPL 2004 12: 509-523; doi:10.1093/jigpal/12.6.509 [Abstract] [PDF] [Request Permissions]  

Andreas B. M. Brunner and Francisco Miraglia

An Omitting Types Theorem for Sheaves over Topological Spaces
Logic Jnl IGPL 2004 12: 525-548; doi:10.1093/jigpal/12.6.525 [Abstract] [PDF] [Request Permissions]  

María Fernanda Pallares

Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
Logic Jnl IGPL 2004 12: 549-560; doi:10.1093/jigpal/12.6.549 [Abstract] [PDF] [Request Permissions]  

Claudio Pizzi

Contenability and the Logic of Consequential Implication
Logic Jnl IGPL 2004 12: 561-579; doi:10.1093/jigpal/12.6.561 [Abstract] [PDF] [Request Permissions]  

Wagner de Campos Sanz

Relating Intuitionist Negation and Triviality
Logic Jnl IGPL 2004 12: 581-599; doi:10.1093/jigpal/12.6.581 [Abstract] [PDF] [Request Permissions]  

Lilia Ramalho Martins and Ana Teresa Martins

Natural Deduction and Weak Normalization for Full Linear Logic
Logic Jnl IGPL 2004 12: 601-625; doi:10.1093/jigpal/12.6.601 [Abstract] [PDF] [Request Permissions]  

Paulo A.S. Veloso and Sheila R.M. Veloso

Functional Interpretation of Logics for ‘Generally’
Logic Jnl IGPL 2004 12: 627-640; doi:10.1093/jigpal/12.6.627 [Abstract] [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 2004 12: 641; doi:10.1093/jigpal/12.6.641 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.