4 found
Sort by:
  1. Pablo Cordero, Manuel Enciso & Inma P. De Guzmán (2012). A Temporal Negative Normal Form Which Preserves Implicants and Implicates. Journal of Applied Non-Classical Logics 10 (3-4):243-272.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Manuel Ojeda-Aciego, Gerhard Brewka, Inma P. de Guzmán & Luís Moniz Pereira (2002). Preface. Studia Logica 72 (1):3-5.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Gabriel Aguilera, Inma P. de Guzmán & Manuel Ojeda (1995). Increasing the Efficiency of Automated Theorem Proving. Journal of Applied Non-Classical Logics 5 (1):9-29.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Alfredo Burrieza & Inma P. De Guzmán (1992). A New Algebraic Semantic Approach and Some Adequate Connectives for Computation with Temporal Logic Over Discrete Time. Journal of Applied Non-Classical Logics 2 (2):181-200.
    ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation