Matches in SemOpenAlex for { <https://semopenalex.org/work/W2753015581> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2753015581 abstract "The inverse method is a saturation based theorem proving technique; it relies on a forward proof-search strategy and can be applied to cut-free calculi enjoying the subformula property. This method has been successfully applied to a variety of logics. Here we apply this method to derive the unprovability of a goal formula G in Intuitionistic Propositional Logic. To this aim we design a forward calculus (mathbf {FRJ}(G) ) for Intuitionistic unprovability. From a derivation of G in (mathbf {FRJ}(G) ) we can extract a Kripke countermodel for G. Since in forward methods sequents are not duplicated, the generated countermodels do not contain redundant worlds and are in general very concise." @default.
- W2753015581 created "2017-09-15" @default.
- W2753015581 creator A5011583391 @default.
- W2753015581 creator A5038482708 @default.
- W2753015581 date "2017-01-01" @default.
- W2753015581 modified "2023-09-27" @default.
- W2753015581 title "A Forward Unprovability Calculus for Intuitionistic Propositional Logic" @default.
- W2753015581 cites W124130449 @default.
- W2753015581 cites W1553445265 @default.
- W2753015581 cites W1579056021 @default.
- W2753015581 cites W1706340846 @default.
- W2753015581 cites W1797159706 @default.
- W2753015581 cites W185205532 @default.
- W2753015581 cites W2014812345 @default.
- W2753015581 cites W2087005564 @default.
- W2753015581 cites W2140979550 @default.
- W2753015581 cites W2160399032 @default.
- W2753015581 cites W2183553861 @default.
- W2753015581 cites W2243108586 @default.
- W2753015581 cites W2593670048 @default.
- W2753015581 cites W26908971 @default.
- W2753015581 cites W60804773 @default.
- W2753015581 doi "https://doi.org/10.1007/978-3-319-66902-1_7" @default.
- W2753015581 hasPublicationYear "2017" @default.
- W2753015581 type Work @default.
- W2753015581 sameAs 2753015581 @default.
- W2753015581 citedByCount "3" @default.
- W2753015581 countsByYear W27530155812019 @default.
- W2753015581 countsByYear W27530155812020 @default.
- W2753015581 crossrefType "book-chapter" @default.
- W2753015581 hasAuthorship W2753015581A5011583391 @default.
- W2753015581 hasAuthorship W2753015581A5038482708 @default.
- W2753015581 hasConcept C102993220 @default.
- W2753015581 hasConcept C111472728 @default.
- W2753015581 hasConcept C11413529 @default.
- W2753015581 hasConcept C118615104 @default.
- W2753015581 hasConcept C138885662 @default.
- W2753015581 hasConcept C14523651 @default.
- W2753015581 hasConcept C178421362 @default.
- W2753015581 hasConcept C189950617 @default.
- W2753015581 hasConcept C199343813 @default.
- W2753015581 hasConcept C206880738 @default.
- W2753015581 hasConcept C207467116 @default.
- W2753015581 hasConcept C2524010 @default.
- W2753015581 hasConcept C2777686260 @default.
- W2753015581 hasConcept C33203268 @default.
- W2753015581 hasConcept C33923547 @default.
- W2753015581 hasConcept C41008148 @default.
- W2753015581 hasConcept C62073222 @default.
- W2753015581 hasConcept C69562738 @default.
- W2753015581 hasConcept C71924100 @default.
- W2753015581 hasConcept C80444323 @default.
- W2753015581 hasConceptScore W2753015581C102993220 @default.
- W2753015581 hasConceptScore W2753015581C111472728 @default.
- W2753015581 hasConceptScore W2753015581C11413529 @default.
- W2753015581 hasConceptScore W2753015581C118615104 @default.
- W2753015581 hasConceptScore W2753015581C138885662 @default.
- W2753015581 hasConceptScore W2753015581C14523651 @default.
- W2753015581 hasConceptScore W2753015581C178421362 @default.
- W2753015581 hasConceptScore W2753015581C189950617 @default.
- W2753015581 hasConceptScore W2753015581C199343813 @default.
- W2753015581 hasConceptScore W2753015581C206880738 @default.
- W2753015581 hasConceptScore W2753015581C207467116 @default.
- W2753015581 hasConceptScore W2753015581C2524010 @default.
- W2753015581 hasConceptScore W2753015581C2777686260 @default.
- W2753015581 hasConceptScore W2753015581C33203268 @default.
- W2753015581 hasConceptScore W2753015581C33923547 @default.
- W2753015581 hasConceptScore W2753015581C41008148 @default.
- W2753015581 hasConceptScore W2753015581C62073222 @default.
- W2753015581 hasConceptScore W2753015581C69562738 @default.
- W2753015581 hasConceptScore W2753015581C71924100 @default.
- W2753015581 hasConceptScore W2753015581C80444323 @default.
- W2753015581 hasLocation W27530155811 @default.
- W2753015581 hasOpenAccess W2753015581 @default.
- W2753015581 hasPrimaryLocation W27530155811 @default.
- W2753015581 hasRelatedWork W1550288146 @default.
- W2753015581 hasRelatedWork W1807903125 @default.
- W2753015581 hasRelatedWork W1854821975 @default.
- W2753015581 hasRelatedWork W2009938424 @default.
- W2753015581 hasRelatedWork W2049227737 @default.
- W2753015581 hasRelatedWork W2055279698 @default.
- W2753015581 hasRelatedWork W2089840698 @default.
- W2753015581 hasRelatedWork W2094276247 @default.
- W2753015581 hasRelatedWork W2147768374 @default.
- W2753015581 hasRelatedWork W2183553861 @default.
- W2753015581 hasRelatedWork W2185755248 @default.
- W2753015581 hasRelatedWork W2497456301 @default.
- W2753015581 hasRelatedWork W2753667555 @default.
- W2753015581 hasRelatedWork W2798196221 @default.
- W2753015581 hasRelatedWork W2951101271 @default.
- W2753015581 hasRelatedWork W2961141088 @default.
- W2753015581 hasRelatedWork W2969539880 @default.
- W2753015581 hasRelatedWork W3032980851 @default.
- W2753015581 hasRelatedWork W3150713206 @default.
- W2753015581 hasRelatedWork W770516323 @default.
- W2753015581 isParatext "false" @default.
- W2753015581 isRetracted "false" @default.
- W2753015581 magId "2753015581" @default.
- W2753015581 workType "book-chapter" @default.