Pesca

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 76 articles )

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

1 2 3 4 next

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

1 2 3 4 next