PESCA = Proof Editor for Sequent Calculus: Pesca is a program that helps in the construction of proofs in sequent calculus. It works both as a proof editor and as an automatic theorem prover. Proofs constructed in Pesca can both be seen on the terminal and printed into LaTeX files. The user of Pesca can choose among different versions of classical and intuitionistic proposition and predicate calculi, and extend them by systems of nonlogical axioms. The implementation of Pesca is written in the functional programming language Haskell.

References in zbMATH (referenced in 81 articles )

Showing results 1 to 20 of 81.
Sorted by year (citations)

1 2 3 4 5 next

  1. Antonsen, Roger; Nakkerud, Andreas: Book review of: J. von Plato, Elements of logical reasoning (2018)
  2. Pambuccian, Victor: Negation-free and contradiction-free proof of the Steiner -- Lehmus theorem (2018)
  3. Standefer, Shawn: Proof theory for functional modal logic (2018)
  4. Francez, Nissim: On harmony and permuting conversions (2017)
  5. French, Rohan: A simple sequent calculus for Angell’s logic of analytic containment (2017)
  6. Jacinto, Bruno; Read, Stephen: General-elimination stability (2017)
  7. Ma, Minghui; Pietarinen, Ahti-Veikko: Proof analysis of Peirce’s alpha system of graphs (2017)
  8. Maffezioli, Paolo: Analytic rules for mereology (2016)
  9. Negri, Sara: Glivenko sequent classes in the light of structural proof theory (2016)
  10. Nomura, Shoshin; Ono, Hiroakira; Sano, Katsuhiko: A cut-free labelled sequent calculus for dynamic epistemic logic (2016)
  11. Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems (2016)
  12. Wintein, Stefan: On all strong Kleene generalizations of classical logic (2016)
  13. Chlebowski, Szymon; Leszczyńska-Jasion, Dorota: Dual erotetic calculi and the minimal $\mathsfLFI$ (2015)
  14. Englander, Cecilia; Dowek, Gilles; Haeusler, Edward Hermann: Yet another bijection between sequent calculus and natural deduction (2015)
  15. Gilbert, David; Maffezioli, Paolo: Modular sequent calculi for classical modal logics (2015)
  16. Gratzl, Norbert: Incomplete symbols -- definite descriptions revisited (2015)
  17. Indrzejczak, Andrzej: Eliminability of cut in hypersequent calculi for some modal logics of linear frames (2015)
  18. Klein, Dominik; Gratzl, Norbert; Roy, Olivier: Introspection, normality and agglomeration (2015)
  19. Bezhanishvili, Nick; Ghilardi, Silvio: The bounded proof property via step algebras and step frames (2014)
  20. Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen: Proof search for propositional abstract separation logics via labelled sequents (2014)

1 2 3 4 5 next