@inproceedings{4c7f97b3ebed42c1a8bd92dc63e54e86,
title = "Gen2sat: An automated tool for deciding derivability in analytic pure sequent calculi",
abstract = "Gen2sat [1] is an efficient and generic tool that can decide derivability for a wide variety of propositional non-classical logics given in terms of a sequent calculus. It contributes to the line of research on computer-supported tools for investigation of logics in the spirit of the “logic engineering” paradigm. Its generality and efficiency are made possible by a reduction of derivability in analytic pure sequent calculi to SAT. This also makes Gen2sat a “plug-and-play” tool so it is compatible with any standard off-the-shelf SAT solver and does not require any additional logic-specific resources. We describe the implementation details of Gen2sat and an evaluation of its performance, as well as a pilot study for using it in a “hands on” assignment for teaching the concept of sequent calculi in a logic class for engineering practitioners.",
author = "Yoni Zohar and Anna Zamansky",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 8th International Joint Conference on Automated Reasoning, IJCAR 2016 ; Conference date: 27-06-2016 Through 02-07-2016",
year = "2016",
doi = "10.1007/978-3-319-40229-1_33",
language = "الإنجليزيّة",
isbn = "9783319402284",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "487--495",
editor = "Nicola Olivetti and Ashish Tiwari",
booktitle = "Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings",
address = "ألمانيا",
}