Logic Journal of IGPL

Articles

JV Benthem

Information transfer across Chu spaces
Logic Jnl IGPL 2000 8: 719-731; doi:10.1093/jigpal/8.6.719 [Abstract] [PDF] [Request Permissions]  

C Cellucci

Analytic cut trees
Logic Jnl IGPL 2000 8: 733-750; doi:10.1093/jigpal/8.6.733 [Abstract] [PDF] [Request Permissions]  

M Crabbé

On the set of atoms
Logic Jnl IGPL 2000 8: 751-759; doi:10.1093/jigpal/8.6.751 [Abstract] [PDF] [Request Permissions]  

R Kashima

Completeness of implicational relevant logics
Logic Jnl IGPL 2000 8: 761-785; doi:10.1093/jigpal/8.6.761 [Abstract] [PDF] [Request Permissions]  

S Riis and M Sitharam

Generating hard tautologies using predicate logic and the symmetric group
Logic Jnl IGPL 2000 8: 787-795; doi:10.1093/jigpal/8.6.787 [Abstract] [PDF] [Request Permissions]  

L Maksimova

Strongly decidable properties of modal and intuitionistic calculi
Logic Jnl IGPL 2000 8: 797-819; doi:10.1093/jigpal/8.6.797 [Abstract] [PDF] [Request Permissions]  

M Mendler

Characterising combinational timing analyses in intuitionistic modal logic
Logic Jnl IGPL 2000 8: 821-852; doi:10.1093/jigpal/8.6.821 [Abstract] [PDF] [Request Permissions]  

G Restall

Defining double negation elimination
Logic Jnl IGPL 2000 8: 853-860; doi:10.1093/jigpal/8.6.853 [Abstract] [PDF] [Request Permissions]  

EE Zolin

Embeddings of propositional monomodal logics
Logic Jnl IGPL 2000 8: 861-882; doi:10.1093/jigpal/8.6.861 [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.