Foundations of Proof Search Strategies Design in Linear LogicReportar como inadecuado

Foundations of Proof Search Strategies Design in Linear Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 UHP - Université Henri Poincaré - Nancy 1 2 Prograis INRIA Lorraine, CRIN - Centre de Recherche en Informatique de Nancy

Abstract : In this paper, we investigate automated proof construction in classical linear logic CLL by giving logical foundations for the design of proof search strategies. We propose common theoretical foundations for top-down, bottom-up and mixed proof search procedures with a systematic formalization of strategies construction using the notions of {\em immediate or chaining composition or decomposition}, deduced from permutability pro\-perties and inference movements in a proof. Thus, we have logical bases for the design of proof strategies in CLL fragments and then we can propose sketches for their design.

Keywords : Linear Logic Proof Theory

Autor: Didier Galmiche - Guy Perrier -



Documentos relacionados