Congratulações a todos os autores, organizadores e editores envolvidos no último LSFA pela publicação abaixo!
JM ---------- Forwarded message ---------- * Electronic Notes in Theoretical Computer Science Volume 256, Pages 1-136 (2 December 2009) Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009) Brasília, Brazil 28 August 2009 Edited by M. Ayala-Rincón and F. Kamareddine http://www.sciencedirect.com/science/issue/13109-2009-997439999-1571274 ================================================================================ TABLE OF CONTENTS 1) Preface Pages 1-3 Mauricio Ayala-Rincón, Fairouz Kamareddine http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-1&md5=a94b2a2c22e4436c70b3a085e84d78d7 2) Peirce's Rule in a Full Natural Deduction System Pages 5-18 Vaston G. Costa, Wagner Sanz, Edward H. Haeusler, Luiz C. Pereira http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-2&md5=39a2cfea104eb203d5c1c94151d36334 3) How to Produce Information About a Given Entity Using Automated Deduction Methods Pages 19-31 Robert Demolombe, Luis Fariñas del Cerro http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-3&md5=0d70f0756a1bac24b89a5395e2fbab27 4) A Topos-Theoretic Approach to Counterfactual Logic Pages 33-47 Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-4&md5=f1821bce04f1e41a79e0a8467a245569 5) Representing Model Theory in a Type-Theoretical Logical Framework Pages 49-65 Fulya Horozal, Florian Rabe http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-5&md5=93f7ebfd991783b9acef21c1f9f4a33f 6) Selective Memoization with Box Types Pages 67-85 Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-6&md5=3c8849b44aadf56834989f1bcb6a3434 7) Towards an Efficient Prover for the C1C1 Paraconsistent Logic Pages 87-102 Adolfo Neto, Celso A.A. Kaestner, Marcelo Finger http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-7&md5=8fe46443d2958ecc21c03aec6ea0e8ca 8) Product of Graphs and Hybrid Logic Pages 103-118 Mario R.F. Benevides, L. Menasché Schechter http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-8&md5=130259df9dff771de3537f4838b15692 9) A Logical Framework for Debugging in Declarative Constraint Programming Pages 119-135 Rafael del Vado Vírseda http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4XT3BCH-9&md5=c3b070b9760547af25a66839fb48afc4 ================================================================================ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l