Pstable Tool and Its Aplication

Abstract—We present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse. Also we show the utility of an automatic demonstrator implemented with these tools for applications where the logic has consistence problems. Index Terms—Satisfactibility, Pstable, Text Implication. I