Logic Journal of IGPL

Original Articles

Hans van Ditmarsch and Mara Manzano

Editorial ‘Tools for Teaching Logic’
Logic Journal of IGPL Advance Access published on July 25, 2007
Logic Jnl IGPL 2007 15: 289-292; doi:10.1093/jigpal/jzm019 [Full Text] [PDF] [Request Permissions]  

Get checked abstract Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, and Alexander Summers

Pandora: A Reasoning Toolbox using Natural Deduction Style
Logic Journal of IGPL Advance Access published on July 25, 2007
Logic Jnl IGPL 2007 15: 293-304; doi:10.1093/jigpal/jzm020 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Ludmila Dostálová and Jaroslav Lang

ORGANON — The Web Tutor for Basic Logic Courses
Logic Journal of IGPL Advance Access published on July 25, 2007
Logic Jnl IGPL 2007 15: 305-311; doi:10.1093/jigpal/jzm021 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Edmund Harriss and Wilfrid Hodges

Logic for Mathematical Writing
Logic Journal of IGPL Advance Access published on August 9, 2007
Logic Jnl IGPL 2007 15: 313-320; doi:10.1093/jigpal/jzm022 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Antonia Huertas

Teaching and Learning Logic in a Virtual Learning Environment
Logic Journal of IGPL Advance Access published on July 25, 2007
Logic Jnl IGPL 2007 15: 321-331; doi:10.1093/jigpal/jzm023 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Ekaterina Ovchinnikova and Frank Richter

Morph Moulder: Teaching Software for HPSG and Description Logics
Logic Journal of IGPL Advance Access published on July 25, 2007
Logic Jnl IGPL 2007 15: 333-345; doi:10.1093/jigpal/jzm024 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Belen Perez-Lancho, Elena Jorge, Ana de la Viuda, and Raquel Sanchez

Software Tools in Logic Education: Some Examples
Logic Journal of IGPL Advance Access published on July 25, 2007
Logic Jnl IGPL 2007 15: 347-357; doi:10.1093/jigpal/jzm025 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Wilfried Sieg

The AProS Project: Strategic Thinking & Computational Logic
Logic Journal of IGPL Advance Access published on August 31, 2007
Logic Jnl IGPL 2007 15: 359-368; doi:10.1093/jigpal/jzm026 [Abstract] [Full Text] [PDF] [Request Permissions]  

Acknowledgements

Acknowledgements
Logic Jnl IGPL 2007 15: 369; doi:10.1093/jigpal/jzm030 [Full Text] [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.