Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186581304> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2186581304 abstract "The inversion principle expresses a relationship between left and right introduction rules for logical constants. Hallnand Schroeder- Heister (2) presented the principle of denitional reection as a means of capturing the idea embodied in the inversion principle. Using the prin- ciple of denitional reection, we show for minimal propositional logic that the left introduction rules are admissible when the right introduc- tion rules are given as the denition of logical constants, and vice versa." @default.
- W2186581304 created "2016-06-24" @default.
- W2186581304 creator A5074046765 @default.
- W2186581304 creator A5085935138 @default.
- W2186581304 date "2009-01-01" @default.
- W2186581304 modified "2023-09-27" @default.
- W2186581304 title "Inversion and the Admissibility of Logical Rules" @default.
- W2186581304 cites W1488538795 @default.
- W2186581304 cites W1573056557 @default.
- W2186581304 cites W1988347771 @default.
- W2186581304 cites W1999915591 @default.
- W2186581304 cites W2039977878 @default.
- W2186581304 hasPublicationYear "2009" @default.
- W2186581304 type Work @default.
- W2186581304 sameAs 2186581304 @default.
- W2186581304 citedByCount "0" @default.
- W2186581304 crossrefType "journal-article" @default.
- W2186581304 hasAuthorship W2186581304A5074046765 @default.
- W2186581304 hasAuthorship W2186581304A5085935138 @default.
- W2186581304 hasConcept C109007969 @default.
- W2186581304 hasConcept C11413529 @default.
- W2186581304 hasConcept C118615104 @default.
- W2186581304 hasConcept C127313418 @default.
- W2186581304 hasConcept C134752490 @default.
- W2186581304 hasConcept C151730666 @default.
- W2186581304 hasConcept C154945302 @default.
- W2186581304 hasConcept C1893757 @default.
- W2186581304 hasConcept C199343813 @default.
- W2186581304 hasConcept C2777686260 @default.
- W2186581304 hasConcept C33923547 @default.
- W2186581304 hasConcept C41008148 @default.
- W2186581304 hasConcept C69562738 @default.
- W2186581304 hasConcept C71924100 @default.
- W2186581304 hasConceptScore W2186581304C109007969 @default.
- W2186581304 hasConceptScore W2186581304C11413529 @default.
- W2186581304 hasConceptScore W2186581304C118615104 @default.
- W2186581304 hasConceptScore W2186581304C127313418 @default.
- W2186581304 hasConceptScore W2186581304C134752490 @default.
- W2186581304 hasConceptScore W2186581304C151730666 @default.
- W2186581304 hasConceptScore W2186581304C154945302 @default.
- W2186581304 hasConceptScore W2186581304C1893757 @default.
- W2186581304 hasConceptScore W2186581304C199343813 @default.
- W2186581304 hasConceptScore W2186581304C2777686260 @default.
- W2186581304 hasConceptScore W2186581304C33923547 @default.
- W2186581304 hasConceptScore W2186581304C41008148 @default.
- W2186581304 hasConceptScore W2186581304C69562738 @default.
- W2186581304 hasConceptScore W2186581304C71924100 @default.
- W2186581304 hasLocation W21865813041 @default.
- W2186581304 hasOpenAccess W2186581304 @default.
- W2186581304 hasPrimaryLocation W21865813041 @default.
- W2186581304 hasRelatedWork W137618863 @default.
- W2186581304 hasRelatedWork W1486519794 @default.
- W2186581304 hasRelatedWork W151104747 @default.
- W2186581304 hasRelatedWork W170290723 @default.
- W2186581304 hasRelatedWork W186947099 @default.
- W2186581304 hasRelatedWork W1978022600 @default.
- W2186581304 hasRelatedWork W1991850485 @default.
- W2186581304 hasRelatedWork W2005586845 @default.
- W2186581304 hasRelatedWork W2008915117 @default.
- W2186581304 hasRelatedWork W2040259072 @default.
- W2186581304 hasRelatedWork W2067842890 @default.
- W2186581304 hasRelatedWork W2133968617 @default.
- W2186581304 hasRelatedWork W2213601343 @default.
- W2186581304 hasRelatedWork W2343361378 @default.
- W2186581304 hasRelatedWork W2791118640 @default.
- W2186581304 hasRelatedWork W2888205906 @default.
- W2186581304 hasRelatedWork W3120237783 @default.
- W2186581304 hasRelatedWork W37116735 @default.
- W2186581304 hasRelatedWork W933755540 @default.
- W2186581304 hasRelatedWork W2579235541 @default.
- W2186581304 isParatext "false" @default.
- W2186581304 isRetracted "false" @default.
- W2186581304 magId "2186581304" @default.
- W2186581304 workType "article" @default.