Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302167> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4384302167 abstract "Gentzen designed his natural deduction proof system to ``come as close as possible to actual reasoning.'' Indeed, natural deduction proofs closely resemble the static structure of logical reasoning in mathematical arguments. However, different features of inference are compelling to capture when one wants to support the process of searching for proofs. PSF (Proof Search Framework) attempts to capture these features naturally and directly. The design and metatheory of PSF are presented, and its ability to specify a range of proof systems for classical, intuitionistic, and linear logic is illustrated." @default.
- W4384302167 created "2023-07-15" @default.
- W4384302167 creator A5018394339 @default.
- W4384302167 date "2023-06-26" @default.
- W4384302167 modified "2023-10-17" @default.
- W4384302167 title "A system of inference based on proof search: an extended abstract" @default.
- W4384302167 cites W1974190112 @default.
- W4384302167 cites W1989085426 @default.
- W4384302167 cites W2008788038 @default.
- W4384302167 cites W2012615291 @default.
- W4384302167 cites W2020595717 @default.
- W4384302167 cites W2033813295 @default.
- W4384302167 cites W2040807747 @default.
- W4384302167 cites W2047063760 @default.
- W4384302167 cites W2060230835 @default.
- W4384302167 cites W2070324762 @default.
- W4384302167 cites W2093111544 @default.
- W4384302167 cites W2112308928 @default.
- W4384302167 cites W2138536973 @default.
- W4384302167 cites W2151581682 @default.
- W4384302167 cites W2179621677 @default.
- W4384302167 cites W2895763214 @default.
- W4384302167 cites W2911865844 @default.
- W4384302167 cites W3118620840 @default.
- W4384302167 cites W4232390089 @default.
- W4384302167 doi "https://doi.org/10.1109/lics56636.2023.10175827" @default.
- W4384302167 hasPublicationYear "2023" @default.
- W4384302167 type Work @default.
- W4384302167 citedByCount "0" @default.
- W4384302167 crossrefType "proceedings-article" @default.
- W4384302167 hasAuthorship W4384302167A5018394339 @default.
- W4384302167 hasBestOaLocation W43843021672 @default.
- W4384302167 hasConcept C108710211 @default.
- W4384302167 hasConcept C11413529 @default.
- W4384302167 hasConcept C154945302 @default.
- W4384302167 hasConcept C178421362 @default.
- W4384302167 hasConcept C195344581 @default.
- W4384302167 hasConcept C195653647 @default.
- W4384302167 hasConcept C199360897 @default.
- W4384302167 hasConcept C2318724 @default.
- W4384302167 hasConcept C2524010 @default.
- W4384302167 hasConcept C2776214188 @default.
- W4384302167 hasConcept C28077239 @default.
- W4384302167 hasConcept C33923547 @default.
- W4384302167 hasConcept C3746660 @default.
- W4384302167 hasConcept C39387531 @default.
- W4384302167 hasConcept C41008148 @default.
- W4384302167 hasConcept C62073222 @default.
- W4384302167 hasConcept C6489637 @default.
- W4384302167 hasConcept C80444323 @default.
- W4384302167 hasConceptScore W4384302167C108710211 @default.
- W4384302167 hasConceptScore W4384302167C11413529 @default.
- W4384302167 hasConceptScore W4384302167C154945302 @default.
- W4384302167 hasConceptScore W4384302167C178421362 @default.
- W4384302167 hasConceptScore W4384302167C195344581 @default.
- W4384302167 hasConceptScore W4384302167C195653647 @default.
- W4384302167 hasConceptScore W4384302167C199360897 @default.
- W4384302167 hasConceptScore W4384302167C2318724 @default.
- W4384302167 hasConceptScore W4384302167C2524010 @default.
- W4384302167 hasConceptScore W4384302167C2776214188 @default.
- W4384302167 hasConceptScore W4384302167C28077239 @default.
- W4384302167 hasConceptScore W4384302167C33923547 @default.
- W4384302167 hasConceptScore W4384302167C3746660 @default.
- W4384302167 hasConceptScore W4384302167C39387531 @default.
- W4384302167 hasConceptScore W4384302167C41008148 @default.
- W4384302167 hasConceptScore W4384302167C62073222 @default.
- W4384302167 hasConceptScore W4384302167C6489637 @default.
- W4384302167 hasConceptScore W4384302167C80444323 @default.
- W4384302167 hasLocation W43843021671 @default.
- W4384302167 hasLocation W43843021672 @default.
- W4384302167 hasLocation W43843021673 @default.
- W4384302167 hasLocation W43843021674 @default.
- W4384302167 hasOpenAccess W4384302167 @default.
- W4384302167 hasPrimaryLocation W43843021671 @default.
- W4384302167 hasRelatedWork W163472931 @default.
- W4384302167 hasRelatedWork W1852594029 @default.
- W4384302167 hasRelatedWork W1968027005 @default.
- W4384302167 hasRelatedWork W2009938424 @default.
- W4384302167 hasRelatedWork W2134382089 @default.
- W4384302167 hasRelatedWork W2163170048 @default.
- W4384302167 hasRelatedWork W2185755248 @default.
- W4384302167 hasRelatedWork W2522823685 @default.
- W4384302167 hasRelatedWork W2753667555 @default.
- W4384302167 hasRelatedWork W4294347940 @default.
- W4384302167 isParatext "false" @default.
- W4384302167 isRetracted "false" @default.
- W4384302167 workType "article" @default.