FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566692464> ?p ?o ?g. }

• W1566692464 endingPage "329" @default.
• W1566692464 startingPage "318" @default.
• W1566692464 abstract "In this paper we define and investigate basic logical closure properties of propositional proof systems such as closure of arbitrary proof systems under modus ponens or substitutions. As our main result we obtain a purely logical characterization of the degrees of schematic extensions of ${mathit{EF}}$ in terms of a simple combination of these properties. This result underlines the empirical evidence that ${mathit{EF}}$ and its extensions admit a robust definition which rests on only a few central concepts from propositional logic." @default.
• W1566692464 created "2016-06-24" @default.
• W1566692464 creator A5042128349 @default.
• W1566692464 date "2008-04-29" @default.
• W1566692464 modified "2023-09-27" @default.
• W1566692464 title "Logical Closure Properties of Propositional Proof Systems" @default.
• W1566692464 cites W1649430738 @default.
• W1566692464 cites W1987520994 @default.
• W1566692464 cites W1988083342 @default.
• W1566692464 cites W2012084714 @default.
• W1566692464 cites W2044095368 @default.
• W1566692464 cites W2044632231 @default.
• W1566692464 cites W2049645218 @default.
• W1566692464 cites W2078123020 @default.
• W1566692464 cites W2080818057 @default.
• W1566692464 cites W2085634981 @default.
• W1566692464 cites W2091961944 @default.
• W1566692464 cites W2114427270 @default.
• W1566692464 cites W2134646730 @default.
• W1566692464 cites W2158029166 @default.
• W1566692464 cites W2161149481 @default.
• W1566692464 cites W2165390183 @default.
• W1566692464 cites W2171353564 @default.
• W1566692464 cites W2385171024 @default.
• W1566692464 cites W2908250557 @default.
• W1566692464 cites W4248733413 @default.
• W1566692464 doi "https://doi.org/10.1007/978-3-540-79228-4_28" @default.
• W1566692464 hasPublicationYear "2008" @default.
• W1566692464 type Work @default.
• W1566692464 sameAs 1566692464 @default.
• W1566692464 citedByCount "3" @default.
• W1566692464 crossrefType "book-chapter" @default.
• W1566692464 hasAuthorship W1566692464A5042128349 @default.
• W1566692464 hasBestOaLocation W15666924642 @default.
• W1566692464 hasConcept C102993220 @default.
• W1566692464 hasConcept C111472728 @default.
• W1566692464 hasConcept C118615104 @default.
• W1566692464 hasConcept C127413603 @default.
• W1566692464 hasConcept C134752490 @default.
• W1566692464 hasConcept C138885662 @default.
• W1566692464 hasConcept C14523651 @default.
• W1566692464 hasConcept C146834321 @default.
• W1566692464 hasConcept C154945302 @default.
• W1566692464 hasConcept C162324750 @default.
• W1566692464 hasConcept C191222856 @default.
• W1566692464 hasConcept C192328126 @default.
• W1566692464 hasConcept C193885149 @default.
• W1566692464 hasConcept C199343813 @default.
• W1566692464 hasConcept C24326235 @default.
• W1566692464 hasConcept C2777686260 @default.
• W1566692464 hasConcept C2780586882 @default.
• W1566692464 hasConcept C33203268 @default.
• W1566692464 hasConcept C33923547 @default.
• W1566692464 hasConcept C34447519 @default.
• W1566692464 hasConcept C41008148 @default.
• W1566692464 hasConcept C58166 @default.
• W1566692464 hasConcept C69562738 @default.
• W1566692464 hasConcept C71924100 @default.
• W1566692464 hasConcept C74640108 @default.
• W1566692464 hasConcept C74992188 @default.
• W1566692464 hasConcept C80444323 @default.
• W1566692464 hasConceptScore W1566692464C102993220 @default.
• W1566692464 hasConceptScore W1566692464C111472728 @default.
• W1566692464 hasConceptScore W1566692464C118615104 @default.
• W1566692464 hasConceptScore W1566692464C127413603 @default.
• W1566692464 hasConceptScore W1566692464C134752490 @default.
• W1566692464 hasConceptScore W1566692464C138885662 @default.
• W1566692464 hasConceptScore W1566692464C14523651 @default.
• W1566692464 hasConceptScore W1566692464C146834321 @default.
• W1566692464 hasConceptScore W1566692464C154945302 @default.
• W1566692464 hasConceptScore W1566692464C162324750 @default.
• W1566692464 hasConceptScore W1566692464C191222856 @default.
• W1566692464 hasConceptScore W1566692464C192328126 @default.
• W1566692464 hasConceptScore W1566692464C193885149 @default.
• W1566692464 hasConceptScore W1566692464C199343813 @default.
• W1566692464 hasConceptScore W1566692464C24326235 @default.
• W1566692464 hasConceptScore W1566692464C2777686260 @default.
• W1566692464 hasConceptScore W1566692464C2780586882 @default.
• W1566692464 hasConceptScore W1566692464C33203268 @default.
• W1566692464 hasConceptScore W1566692464C33923547 @default.
• W1566692464 hasConceptScore W1566692464C34447519 @default.
• W1566692464 hasConceptScore W1566692464C41008148 @default.
• W1566692464 hasConceptScore W1566692464C58166 @default.
• W1566692464 hasConceptScore W1566692464C69562738 @default.
• W1566692464 hasConceptScore W1566692464C71924100 @default.
• W1566692464 hasConceptScore W1566692464C74640108 @default.
• W1566692464 hasConceptScore W1566692464C74992188 @default.
• W1566692464 hasConceptScore W1566692464C80444323 @default.
• W1566692464 hasLocation W15666924641 @default.
• W1566692464 hasLocation W15666924642 @default.
• W1566692464 hasOpenAccess W1566692464 @default.
• W1566692464 hasPrimaryLocation W15666924641 @default.
• W1566692464 hasRelatedWork W1566692464 @default.
• W1566692464 hasRelatedWork W1597848231 @default.
• W1566692464 hasRelatedWork W1974125095 @default.
• W1566692464 hasRelatedWork W1987118140 @default.
• W1566692464 hasRelatedWork W2013317744 @default.
• W1566692464 hasRelatedWork W2045432969 @default.

• next