Olá a todos, Acabou de sair o volume do Logic Journal of the IGPL referente ao LSFA 2007 (Ouro Preto).
Parabéns aos autores e editores! Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> Blog: http://professoradolfo.blogspot.com ========================================== ---------- Forwarded message ---------- From: <[email protected]> Date: Mon, Sep 14, 2009 at 12:37 PM Subject: Logic Jnl IGPL Table of Contents for Special Issue: Logical and Semantical Frameworks with Applications: October 2009; Vol. 17, No. 5 To: [email protected] OXFORD JOURNALS <http://www.oxfordjournals.org> CONTACT US<http://www.oxfordjournals.org/contact_us.html> MY ACCOUNT<http://services.oxfordjournals.org/cgi/tslogin?url=http://www.oxfordjournals.org/service/Register> [image: Logic Journal of IGPL] THE JOURNAL <http://jigpal.oxfordjournals.org/> ETOC ALERTS <http://jigpal.oxfordjournals.org/cgi/alerts/etoc> SUBSCRIPTIONS <http://jigpal.oxfordjournals.org/subscriptions/index.dtl> CURRENT ISSUE <http://jigpal.oxfordjournals.org/current.dtl> ARCHIVE<http://jigpal.oxfordjournals.org/archive.dtl> SEARCH <http://jigpal.oxfordjournals.org/search.dtl> [image: Logic Journal of IGPL cover image] *Logic Journal of IGPL Table of Contents Alert* A new issue of Logic Journal of IGPL <http://jigpal.oxfordjournals.org/> is available online: Special Issue: Logical and Semantical Frameworks with Applications: October 2009; Vol. 17, No. 5 The below Table of Contents is available online at: http://jigpal.oxfordjournals.org/content/vol17/issue5/index.dtl<http://jigpal.oxfordjournals.org/content/vol17/issue5/index.dtl?etoc> Preface Mauricio Ayala-Rincón and Edward Hermann Haeusler *Preface* Logic Journal of IGPL Advance Access published on August 12, 2009 Logic Jnl IGPL 2009 17: 437-438; doi:10.1093/jigpal/jzp018 [PDF]<http://jigpal.oxfordjournals.org/cgi/reprint/17/5/437?etoc> Original Articles Gilles Dowek *On the convergence of reduction-based and model-based methods in proof theory* Logic Journal of IGPL Advance Access published on August 8, 2009 Logic Jnl IGPL 2009 17: 439-447; doi:10.1093/jigpal/jzp022 [Abstract]<http://jigpal.oxfordjournals.org/cgi/content/abstract/17/5/439?etoc> [PDF] <http://jigpal.oxfordjournals.org/cgi/reprint/17/5/439?etoc> [References]<http://jigpal.oxfordjournals.org/cgi/content/refs/17/5/439?etoc> Marco Gaboardi and Simona Ronchi Della Rocca *From light logics to type assignments: a case study* Logic Journal of IGPL Advance Access published on July 4, 2009 Logic Jnl IGPL 2009 17: 449-480; doi:10.1093/jigpal/jzp019 [Abstract]<http://jigpal.oxfordjournals.org/cgi/content/abstract/17/5/449?etoc> [PDF] <http://jigpal.oxfordjournals.org/cgi/reprint/17/5/449?etoc> [References]<http://jigpal.oxfordjournals.org/cgi/content/refs/17/5/449?etoc> Alexandre Matos Arruda and Ana Teresa Martins *Natural deduction for the finite least fixed point logic with an infinitary rule* Logic Jnl IGPL 2009 17: 481-508; doi:10.1093/jigpal/jzp020 [Abstract]<http://jigpal.oxfordjournals.org/cgi/content/abstract/17/5/481?etoc> [PDF] <http://jigpal.oxfordjournals.org/cgi/reprint/17/5/481?etoc> [References]<http://jigpal.oxfordjournals.org/cgi/content/refs/17/5/481?etoc> Mario R. F. Benevides and L. Menasché Schechter *Using modal logics to express and check global graph properties* Logic Journal of IGPL Advance Access published on August 12, 2009 Logic Jnl IGPL 2009 17: 509-537; doi:10.1093/jigpal/jzp021 [Abstract]<http://jigpal.oxfordjournals.org/cgi/content/abstract/17/5/509?etoc> [PDF] <http://jigpal.oxfordjournals.org/cgi/reprint/17/5/509?etoc> [References]<http://jigpal.oxfordjournals.org/cgi/content/refs/17/5/509?etoc> Acknowledgements *Acknowledgements* Logic Jnl IGPL 2009 17: 538; doi:10.1093/jigpal/jzp051 [PDF]<http://jigpal.oxfordjournals.org/cgi/reprint/17/5/538?etoc> ------------------------------ ------------------------------ This message was sent to [email protected]. *To unsubscribe from or edit your subscriptions to this service*, go to http://jigpal.oxfordjournals.org/cgi/alerts/etoc Or by mail: Customer Service * 1454 Page Mill Road * Palo Alto, CA 94304 * U.S.A. [image: OXFORD JOURNALS] [image: Oxford University Press] Site Map <http://jigpal.oxfordjournals.org#> Privacy Policy<http://jigpal.oxfordjournals.org#> Frequently Asked Questions <http://jigpal.oxfordjournals.org#> Other Oxford University Press sites: Oxford University Press Oxford Journals Japan American National Biography Booksellers' Information Service Children's Fiction and Poetry Children's Reference Corporate & Special Sales Dictionaries Dictionary of National Biography Digital Reference English Language Teaching Higher Education Textbooks Humanities International Education Unit Law Medicine Music Online Products Oxford English Dictionary Reference Rights and Permissions Science School Books Social Sciences Very Short Introductions World's Classics
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
