Logic Journal of IGPL

Articles

Marcelo F. Frias, Armando M. Haeberer, and Paulo A. S. Veloso

A Finite Axiomatization for Fork Algebras
Logic Jnl IGPL 1997 5: 1-10; doi:10.1093/jigpal/5.3.1 [Abstract] [PDF] [Request Permissions]  

Misha Gavrilovich

A Lower Bound for Interpolation
Logic Jnl IGPL 1997 5: 1-6; doi:10.1093/jigpal/5.3.1-a [Abstract] [PDF] [Request Permissions]  

Décio Krause and Jean-Yves Béziau

Relativizations of the Principle of Identity
Logic Jnl IGPL 1997 5: 1-12; doi:10.1093/jigpal/5.3.1-b [Abstract] [PDF] [Request Permissions]  

Gilles Richard and Frédéric Saubion

Answer Synthesis for CLP Programs with Negation
Logic Jnl IGPL 1997 5: 1-36; doi:10.1093/jigpal/5.3.1-c [Abstract] [PDF] [Request Permissions]  

James T. Sasaki

A Type Theory with Mixed Constructivity and Assignments
Logic Jnl IGPL 1997 5: 1-37; doi:10.1093/jigpal/5.3.1-d [Abstract] [PDF] [Request Permissions]  

Josep Maria Font

Belnap's Four-Valued Logic and De Morgan Lattices
Logic Jnl IGPL 1997 5: 1-29; doi:10.1093/jigpal/5.3.1-e [Abstract] [PDF] [Request Permissions]  

I.M.L. D'Ottaviano, W.A. Carnielli, A.M. Sette, and M.B. Wrigley

Conferences
Logic Jnl IGPL 1997 5: 1-38; doi:10.1093/jigpal/5.3.1-f [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.