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

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

1 2 3 ... 7 8 9 next

  1. Christoff, Zoé; Gratzl, Norbert; Roy, Olivier: Priority merge and intersection modalities (2022)
  2. Da Ré, Bruno; Pailos, Federico: Sequent-calculi for metainferential logics (2022)
  3. Fischer, Martin: Sequent calculi for the propositional logic of HYPE (2022)
  4. Kürbis, Nils: Normalisation and subformula property for a system of classical logic with Tarski’s rule (2022)
  5. Parlamento, Franco; Previale, Flavio: A note on the sequent calculi (\mathbfG3[mic]^=) (2022)
  6. Raclavský, Jiří: The rule of existential generalisation and explicit substitution (2022)
  7. Schuster, Peter; Wessel, Daniel: The Jacobson radical for an inconsistency predicate (2022)
  8. Takemura, Ryo: Logic and majority voting (2022)
  9. Ayhan, Sara: What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (2021)
  10. Cordes, Moritz: Calculizing classical Inferential erotetic logic (2021)
  11. Díaz-Caro, Alejandro; Dowek, Gilles: A new connective in natural deduction, and its application to quantum computing (2021)
  12. Fjellstad, Andreas: Logical nihilism and the logic of `prem’ (2021)
  13. Hatano, Ryo; Sano, Katsuhiko: Recapturing dynamic logic of relation changers via bounded morphisms (2021)
  14. Indrzejczak, Andrzej: Free logics are cut-free (2021)
  15. Negri, S.; Pavlović, E.: Proof-theoretic analysis of the logics of agency: the deliberative STIT (2021)
  16. Orlandelli, Eugenio: Sequent calculi and interpolation for non-normal modal and deontic logics (2021)
  17. Parlamento, Franco; Previale, Flavio: The elimination of atomic cuts and the semishortening property for Gentzen’s sequent calculus with equality (2021)
  18. Pavlović, Edi; Gratzl, Norbert: A more unified approach to free logics (2021)
  19. Petrukhin, Yaroslav; Shangin, Vasilyi: Correspondence analysis for some fragments of classical propositional logic (2021)
  20. Pruiksma, Klaas; Pfenning, Frank: A message-passing interpretation of adjoint logic (2021)

1 2 3 ... 7 8 9 next