Pesca swMATH ID: 13664 Software Authors: Aarne Ranta Description: 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. Homepage: http://hackage.haskell.org/package/pesca Dependencies: Haskell Related Software: MiniML; Isabelle; TABLEAUX; Coq; Maude; Hyperproof; Alms; semprop; HOL; ML; Nominal Isabelle; Psyche; LPL software; Archive Formal Proofs; cubicaltt; Z; Minlog; Nuprl; APS-1; DEMO Cited in: 169 Publications all top 5 Cited by 158 Authors 19 Negri, Sara 11 Indrzejczak, Andrzej 7 Gratzl, Norbert 7 Maffezioli, Paolo 7 von Plato, Jan 5 Leszczyńska-Jasion, Dorota 4 Fjellstad, Andreas 4 Naibo, Alberto 4 Orlandelli, Eugenio 4 Sano, Katsuhiko 4 Schroeder-Heister, Peter Joseph 3 Bimbó, Katalin 3 Borisavljević, Mirjana 3 Chlebowski, Szymon 3 Dyckhoff, Roy 3 Goré, Rajeev Prabhakar 3 Hakli, Raul 3 Pambuccian, Victor V. 3 Parlamento, Franco 3 Pavlović, Edi 3 Previale, Flavio 3 Read, Stephen 3 Roy, Olivier 3 Takemura, Ryo 3 Wansing, Heinrich Theodor 3 Wessel, Daniel 2 Buss, Samuel R. 2 Dowek, Gilles 2 Drobyshevich, Sergeĭ Andreevich 2 Francez, Nissim 2 Hou, Zhe 2 Iemhoff, Rosalie 2 Kurokawa, Hidenori 2 Lellmann, Björn 2 Ma, Minghui 2 Milne, Peter 2 Murzi, Julien 2 Nomura, Shoshin 2 Olarte, Carlos 2 Pattinson, Dirk 2 Petrolo, Mattia 2 Petrukhin, Yaroslav Igorevich 2 Rasga, João 2 Rosenblatt, Lucas Daniel 2 Schuster, Peter Michael 2 Shangin, Vasily 2 Standefer, Shawn 2 Strannegård, Claes 2 Tiu, Alwen Fernanto 2 Tranchini, Luca 2 Wiśniewski, Andrzej 1 Alama, Jesse 1 Alonderis, Romas 1 Antonsen, Roger 1 Arndt, Michael 1 Avron, Arnon 1 Ayhan, Sara 1 Beckmann, Arnold 1 Bezhanishvili, Nick 1 Bílková, Marta 1 Bobzien, Susanne 1 Carrara, Massimiliano 1 Cheney, James 1 Chiarugi, Davide 1 Christoff, Zoé 1 Clouston, Ranald A. 1 Cobreros, Pablo 1 Cordes, Moritz 1 Da Ré, Bruno 1 D’Agostino, Marcello 1 Das, Anupam 1 Dawson, Jeremy E. 1 de Campos Sanz, Wagner 1 del Carmen González Huesca, Lourdes 1 Díaz-Caro, Alejandro 1 Dong, Huimin 1 Dunn, Jon Michael 1 Englander, Cecilia 1 Engström, Fredrik 1 Espírito Santo, José Carlos 1 Falaschi, Moreno 1 Fellin, Giulio 1 Fischer, Martin J. 1 French, Rohan 1 Gabbay, Dov M. 1 Gärling, Tommy 1 Geuvers, Jan Herman 1 Gherardi, Guido 1 Ghilardi, Silvio 1 Gilbert, David Robert 1 Girlando, Marianna 1 Golińska-Pilarek, Joanna 1 Haeusler, Edward Hermann 1 Hatano, Ryo 1 Hedqvist, David 1 Hermith, Diana 1 Hurkens, Tonny 1 Ishihara, Hajime 1 Jacinto, Bruno 1 Jukiewicz, Marcin ...and 58 more Authors all top 5 Cited in 36 Serials 31 Studia Logica 17 Journal of Philosophical Logic 12 The Review of Symbolic Logic 9 Archive for Mathematical Logic 9 Logic and Logical Philosophy 5 Annals of Pure and Applied Logic 5 Logica Universalis 4 Bulletin of the Section of Logic 4 Journal of Logic, Language and Information 3 Notre Dame Journal of Formal Logic 3 Synthese 3 Theoretical Computer Science 3 Journal of Applied Non-Classical Logics 2 Journal of Automated Reasoning 2 The Bulletin of Symbolic Logic 2 Topoi 2 Journal of Applied Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Information Processing Letters 1 Algebra Universalis 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Reports on Mathematical Logic 1 Note di Matematica 1 History and Philosophy of Logic 1 Mathematical Logic Quarterly (MLQ) 1 Mathematical Communications 1 Theory of Computing Systems 1 Logic Journal of the IGPL 1 Erkenntnis 1 Oberwolfach Reports 1 CSLI Lecture Notes 1 Oxford Logic Guides 1 Logical Methods in Computer Science 1 Computability 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Logicheskie Issledovaniya all top 5 Cited in 10 Fields 165 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 6 Geometry (51-XX) 3 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Commutative algebra (13-XX) 1 Field theory and polynomials (12-XX) 1 Biology and other natural sciences (92-XX) Citations by Year