Logic Journal of IGPL

Articles

D Gabbay, R de Queiroz, and HJ Ohlbach

Editorial
Logic Jnl IGPL 1998 6: 1; doi:10.1093/jigpal/6.1.1 [PDF] [Request Permissions]  

I Nemeti and G Sagi

On the equational theory of representable polyadic equality algebras (extended abstract)
Logic Jnl IGPL 1998 6: 3-15; doi:10.1093/jigpal/6.1.3 [Abstract] [PDF] [Request Permissions]  

CG Fermuller and A Leitsch

Decision procedures and model building in equational clause logic
Logic Jnl IGPL 1998 6: 17-41; doi:10.1093/jigpal/6.1.17 [Abstract] [PDF] [Request Permissions]  

A Avron

Formulas for which contraction is admissible
Logic Jnl IGPL 1998 6: 43-48; doi:10.1093/jigpal/6.1.43 [Abstract] [PDF] [Request Permissions]  

D Lehmann

Stereotypical reasoning: logical properties
Logic Jnl IGPL 1998 6: 49-58; doi:10.1093/jigpal/6.1.49 [Abstract] [PDF] [Request Permissions]  

EA Hirsch

A fast deterministic algorithm for formulas that have many satisfying assignments
Logic Jnl IGPL 1998 6: 59-71; doi:10.1093/jigpal/6.1.59 [Abstract] [PDF] [Request Permissions]  

DM Gabbay and VB Shehtman

Products of modal logics, part 1
Logic Jnl IGPL 1998 6: 73-146; doi:10.1093/jigpal/6.1.73 [Abstract] [PDF] [Request Permissions]  

D Gabbay

Interest group in pure and applied logics (IGPL)
Logic Jnl IGPL 1998 6: 147; doi:10.1093/jigpal/6.1.147 [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.