Electronic Notes in Theoretical Computer Science, Volume 256

Volume 256, December 2009

• Mauricio Ayala-Rincón, Fairouz Kamareddine:
  Preface. 1-3
  
• Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira:
  Peirce's Rule in a Full Natural Deduction System. 5-18
  
• Robert Demolombe, Luis Fariñas del Cerro:
  How to Produce Information About a Given Entity Using Automated Deduction Methods. 19-31
  
• Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler:
  A Topos-Theoretic Approach to Counterfactual Logic. 33-47
  
• Fulya Horozal, Florian Rabe:
  Representing Model Theory in a Type-Theoretical Logical Framework. 49-65
  
• Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca:
  Selective Memoization with Box Types. 67-85
  
• Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger:
  Towards an Efficient Prover for the C₁ Paraconsistent Logic. 87-102
  
• Mario R. F. Benevides, L. Menasché Schechter:
  Product of Graphs and Hybrid Logic. 103-118
  
• Rafael del Vado Vírseda:
  A Logical Framework for Debugging in Declarative Constraint Programming. 119-135