Matches in SemOpenAlex for { <https://semopenalex.org/work/W2477099428> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2477099428 endingPage "495" @default.
- W2477099428 startingPage "487" @default.
- W2477099428 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." @default.
- W2477099428 created "2016-08-23" @default.
- W2477099428 creator A5031903932 @default.
- W2477099428 creator A5052302712 @default.
- W2477099428 date "2016-01-01" @default.
- W2477099428 modified "2023-09-23" @default.
- W2477099428 title "Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi" @default.
- W2477099428 cites W102389334 @default.
- W2477099428 cites W1481398220 @default.
- W2477099428 cites W1597361319 @default.
- W2477099428 cites W1842806778 @default.
- W2477099428 cites W1844848791 @default.
- W2477099428 cites W1976486895 @default.
- W2477099428 cites W2007013614 @default.
- W2477099428 cites W2066630725 @default.
- W2477099428 cites W2094504625 @default.
- W2477099428 cites W2130123502 @default.
- W2477099428 cites W2145733904 @default.
- W2477099428 cites W2150461748 @default.
- W2477099428 cites W2170526408 @default.
- W2477099428 cites W2198998891 @default.
- W2477099428 cites W26908971 @default.
- W2477099428 cites W4299512206 @default.
- W2477099428 cites W5815757 @default.
- W2477099428 cites W596652995 @default.
- W2477099428 cites W203477399 @default.
- W2477099428 doi "https://doi.org/10.1007/978-3-319-40229-1_33" @default.
- W2477099428 hasPublicationYear "2016" @default.
- W2477099428 type Work @default.
- W2477099428 sameAs 2477099428 @default.
- W2477099428 citedByCount "3" @default.
- W2477099428 countsByYear W24770994282018 @default.
- W2477099428 countsByYear W24770994282019 @default.
- W2477099428 crossrefType "book-chapter" @default.
- W2477099428 hasAuthorship W2477099428A5031903932 @default.
- W2477099428 hasAuthorship W2477099428A5052302712 @default.
- W2477099428 hasConcept C108710211 @default.
- W2477099428 hasConcept C111404639 @default.
- W2477099428 hasConcept C11413529 @default.
- W2477099428 hasConcept C15744967 @default.
- W2477099428 hasConcept C199343813 @default.
- W2477099428 hasConcept C199360897 @default.
- W2477099428 hasConcept C2524010 @default.
- W2477099428 hasConcept C2777686260 @default.
- W2477099428 hasConcept C2780767217 @default.
- W2477099428 hasConcept C33923547 @default.
- W2477099428 hasConcept C41008148 @default.
- W2477099428 hasConcept C542102704 @default.
- W2477099428 hasConcept C62073222 @default.
- W2477099428 hasConcept C6489637 @default.
- W2477099428 hasConcept C65880906 @default.
- W2477099428 hasConcept C69562738 @default.
- W2477099428 hasConcept C71924100 @default.
- W2477099428 hasConcept C80444323 @default.
- W2477099428 hasConcept C89421646 @default.
- W2477099428 hasConceptScore W2477099428C108710211 @default.
- W2477099428 hasConceptScore W2477099428C111404639 @default.
- W2477099428 hasConceptScore W2477099428C11413529 @default.
- W2477099428 hasConceptScore W2477099428C15744967 @default.
- W2477099428 hasConceptScore W2477099428C199343813 @default.
- W2477099428 hasConceptScore W2477099428C199360897 @default.
- W2477099428 hasConceptScore W2477099428C2524010 @default.
- W2477099428 hasConceptScore W2477099428C2777686260 @default.
- W2477099428 hasConceptScore W2477099428C2780767217 @default.
- W2477099428 hasConceptScore W2477099428C33923547 @default.
- W2477099428 hasConceptScore W2477099428C41008148 @default.
- W2477099428 hasConceptScore W2477099428C542102704 @default.
- W2477099428 hasConceptScore W2477099428C62073222 @default.
- W2477099428 hasConceptScore W2477099428C6489637 @default.
- W2477099428 hasConceptScore W2477099428C65880906 @default.
- W2477099428 hasConceptScore W2477099428C69562738 @default.
- W2477099428 hasConceptScore W2477099428C71924100 @default.
- W2477099428 hasConceptScore W2477099428C80444323 @default.
- W2477099428 hasConceptScore W2477099428C89421646 @default.
- W2477099428 hasLocation W24770994281 @default.
- W2477099428 hasOpenAccess W2477099428 @default.
- W2477099428 hasPrimaryLocation W24770994281 @default.
- W2477099428 hasRelatedWork W1573739954 @default.
- W2477099428 hasRelatedWork W1714225901 @default.
- W2477099428 hasRelatedWork W182117412 @default.
- W2477099428 hasRelatedWork W2025571074 @default.
- W2477099428 hasRelatedWork W2133968617 @default.
- W2477099428 hasRelatedWork W2155156044 @default.
- W2477099428 hasRelatedWork W2617588251 @default.
- W2477099428 hasRelatedWork W310103274 @default.
- W2477099428 hasRelatedWork W3112266304 @default.
- W2477099428 hasRelatedWork W93561518 @default.
- W2477099428 isParatext "false" @default.
- W2477099428 isRetracted "false" @default.
- W2477099428 magId "2477099428" @default.
- W2477099428 workType "book-chapter" @default.