4 found
Sort by:
  1. Stefania Costantini & Andrea Formisano (2013). RASP and ASP as a Fragment of Linear Logic. Journal of Applied Non-Classical Logics 23 (1-2):49-74.
    RASP is a recent extension to Answer Set Programming (ASP) that permits declarative specification and reasoning on the consumption and production of resources. ASP can be seen as a particular case of RASP. In this paper, we study the relationship between linear logic and RASP problem specification. We prove that RASP programs can be translated into (a fragment of) linear logic, and vice versa. In doing so, we introduce a linear logic representation of default negation as understood in ASP. We (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Andrea Formisano & Marianna Nicolosi-Asmundo (2006). An Efficient Relational Deductive System for Propositional Non-Classical Logics. Journal of Applied Non-Classical Logics 16 (3-4):367-408.
    We describe a relational framework that uniformly supports formalization and automated reasoning in varied propositional modal logics. The proof system we propose is a relational variant of the classical Rasiowa-Sikorski proof system. We introduce a compact graph-based representation of formulae and proofs supporting an efficient implementation of the basic inference engine, as well as of a number of refinements. Completeness and soundness results are shown and a Prolog implementation is described.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrea Formisano, Eugenio G. Omodeo & Ewa Orłowska (2006). An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-Classical Logics. In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. 89--104.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti (2005). The Axiom of Elementary Sets on the Edge of Peircean Expressibility. Journal of Symbolic Logic 70 (3):953 - 968.
    Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates are extensionality. (E), and single-element adjunction and removal. (W) and (L), cannot be axiomatized by means of three-variable sentences. This (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation