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.
Keywords for this software
References in zbMATH (referenced in 73 articles )
Showing results 1 to 20 of 73.
Sorted by year (- Jacinto, Bruno; Read, Stephen: General-elimination stability (2017)
- Ma, Minghui; Pietarinen, Ahti-Veikko: Proof analysis of Peirce’s alpha system of graphs (2017)
- Maffezioli, Paolo: Analytic rules for mereology (2016)
- Negri, Sara: Glivenko sequent classes in the light of structural proof theory (2016)
- Olarte, C.; Chiarugi, D.; Falaschi, M.; Hermith, D.: A proof theoretic view of spatial and temporal dependencies in biochemical systems (2016)
- Wintein, Stefan: On all strong Kleene generalizations of classical logic (2016)
- Chlebowski, Szymon; Leszczyńska-Jasion, Dorota: Dual erotetic calculi and the minimal $\mathsfLFI$ (2015)
- Englander, Cecilia; Dowek, Gilles; Haeusler, Edward Hermann: Yet another bijection between sequent calculus and natural deduction (2015)
- Gilbert, David; Maffezioli, Paolo: Modular sequent calculi for classical modal logics (2015)
- Gratzl, Norbert: Incomplete symbols -- definite descriptions revisited (2015)
- Indrzejczak, Andrzej: Eliminability of cut in hypersequent calculi for some modal logics of linear frames (2015)
- Bezhanishvili, Nick; Ghilardi, Silvio: The bounded proof property via step algebras and step frames (2014)
- Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen: Proof search for propositional abstract separation logics via labelled sequents (2014)
- Indrzejczak, Andrzej: A survey of nonstandard sequent calculi (2014)
- Indrzejczak, Andrzej: Contraction contracted (2014)
- Ishihara, Hajime: Classical propositional logic and decidability of variables in intuitionistic propositional logic (2014)
- Maffezioli, Paolo; Naibo, Alberto: Proof theory of epistemic logic of programs (2014)
- Negri, Sara: Proofs and countermodels in non-classical logics (2014)
- Restall, Greg: Normal proofs, cut free derivations and structural rules (2014)
- Schroeder-Heister, Peter: Generalized elimination inferences, higher-level rules, and the implications-as-rules interpretation of the sequent calculus (2014)