Logic Journal of IGPL

Articles

I Nemeti

Strong representability of fork algebras, a set theoretic foundation
Logic Jnl IGPL 1997 5: 3-23; doi:10.1093/jigpal/5.1.3 [Abstract] [PDF] [Request Permissions]  

G Sereny

Saturatedness in cylindric algebraic model theory
Logic Jnl IGPL 1997 5: 25-48; doi:10.1093/jigpal/5.1.25 [Abstract] [PDF] [Request Permissions]  

K Schlechta

A reduction of the theory of confirmation to the notions of distance and measure
Logic Jnl IGPL 1997 5: 49-64; doi:10.1093/jigpal/5.1.49 [Abstract] [PDF] [Request Permissions]  

C Hartonas

Pretopology semantics for bimodal intuitionistic linear logic
Logic Jnl IGPL 1997 5: 65-78; doi:10.1093/jigpal/5.1.65 [Abstract] [PDF] [Request Permissions]  

G Sandu

The logic of informational independence and finite models
Logic Jnl IGPL 1997 5: 79-95; doi:10.1093/jigpal/5.1.79 [Abstract] [PDF] [Request Permissions]  

A Hutchinson

First order meta theories
Logic Jnl IGPL 1997 5: 97-144; doi:10.1093/jigpal/5.1.97 [Abstract] [PDF] [Request Permissions]  

P Miglioli, U Moscato, and M Ornaghi

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
Logic Jnl IGPL 1997 5: 145-167; doi:10.1093/jigpal/5.1.145 [Abstract] [PDF] [Request Permissions]  

A Heuerding

LWBtheory: Information about some propositional logics via the WWW
Logic Jnl IGPL 1997 5: 169-174; doi:10.1093/jigpal/5.1.169 [Abstract] [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.