Logic Journal of IGPL

Articles

KRYSIA BRODA, MARCELLO D'AGOSTINO, RAJEEV GORÉ, ROB JOHNSON, and STEVE REEVES

Editorial
Logic Jnl IGPL 1995 3: 826; doi:10.1093/jigpal/3.6.826 [PDF] [Request Permissions]  

JEAN GOUBAULT

A BDD-Based Simplification and Skolemization Procedure
Logic Jnl IGPL 1995 3: 827-855; doi:10.1093/jigpal/3.6.827 [Abstract] [PDF] [Request Permissions]  

STEFAN BRÜNING

Exploiting Equivalences in Connection Calculi
Logic Jnl IGPL 1995 3: 857-886; doi:10.1093/jigpal/3.6.857 [Abstract] [PDF] [Request Permissions]  

CHRISTOPH WEIDENBACH

First-Order Tableaux with Sorts
Logic Jnl IGPL 1995 3: 887-906; doi:10.1093/jigpal/3.6.887 [Abstract] [PDF] [Request Permissions]  

MARTA CIALDEA MAYER and FIORA PIRRI

Propositional Abduction in Modal Logic
Logic Jnl IGPL 1995 3: 907-919; doi:10.1093/jigpal/3.6.907 [Abstract] [PDF] [Request Permissions]  

KEVIN WALLACE and GRAHAM WRIGHTSON

Regressive Merging in Model Elimination Tableau-Based Theorem Provers
Logic Jnl IGPL 1995 3: 921-937; doi:10.1093/jigpal/3.6.921 [Abstract] [PDF] [Request Permissions]  

MARCO MONDADORI

Efficient Inverse Tableaux
Logic Jnl IGPL 1995 3: 939-953; doi:10.1093/jigpal/3.6.939 [Abstract] [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 1995 3: 954; doi:10.1093/jigpal/3.6.954 [PDF] [Request Permissions]  

Interest Group in Pure and Applied Logics (IGPL)
Logic Jnl IGPL 1995 3: 955-956; doi:10.1093/jigpal/3.6.955 [PDF] [Request Permissions]  

Geoff Sutcliffe and Christian Suttner

The TPTP Problem Library, Release v1.2.0
Logic Jnl IGPL 1995 3: 957-959; doi:10.1093/jigpal/3.6.957 [PDF] [Request Permissions]  

Subscription
Logic Jnl IGPL 1995 3: 960; doi:10.1093/jigpal/3.6.960 [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.