Logic Journal of IGPL

Articles

A Avellone, M Benini, and U Moscato

How to avoid the formal verification of a theorem prover
Logic Jnl IGPL 2001 9: 1-25; doi:10.1093/jigpal/9.1.1 [Abstract] [PDF] [Request Permissions]  

RL Crole

Completeness of bisimilarity for contextual equivalence in linear theories
Logic Jnl IGPL 2001 9: 27-51; doi:10.1093/jigpal/9.1.27 [Abstract] [PDF] [Request Permissions]  

J Hurd

Congruence classes with logic variables
Logic Jnl IGPL 2001 9: 53-69; doi:10.1093/jigpal/9.1.53 [Abstract] [PDF] [Request Permissions]  

M Marx and S Mikulás

Products, or how to create modal logics of high complexity
Logic Jnl IGPL 2001 9: 71-82; doi:10.1093/jigpal/9.1.71 [Abstract] [PDF] [Request Permissions]  

A Ramsay

Theorem proving for untyped constructive -calculus: implementation and application
Logic Jnl IGPL 2001 9: 83-100; doi:10.1093/jigpal/9.1.83 [Abstract] [PDF] [Request Permissions]  

G Sandu and A Pietarinen

Partiality and games: propositional logic
Logic Jnl IGPL 2001 9: 101-121; doi:10.1093/jigpal/9.1.101 [Abstract] [PDF] [Request Permissions]  

Partiality and games: propositional logic
Logic Jnl IGPL 2001 9: 123-134; doi:10.1093/jigpal/9.1.123 [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.