FRINK Linked Data Fragments server

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

• W1984223485 endingPage "957" @default.
• W1984223485 startingPage "903" @default.
• W1984223485 abstract "Most Gentzen systems arising in logic contain few axiom schemata and many rule schemata. Hilbert systems, on the other hand, usually contain few proper inference rules and possibly many axioms. Because of this, the two notions tend to serve different purposes. It is common for a logic to be specified in the first instance by means of a Gentzen calculus, whereupon a Hilbert-style presentation ‘for’ the logic may be sought—or vice versa. Where this has occurred, the word ‘for’ has taken on several different meanings, partly because the Gentzen separator ⇒ can be interpreted intuitively in a number of ways. Here ⇒ will be denoted less evocatively by ⊲. In this paper we aim to discuss some of the useful ways in which Gentzen and Hilbert systems may correspond to each other. Actually, we shall be concerned with the deducibility relations of the formal systems, as it is these that are susceptible to transformation in useful ways. To avoid potential confusion, we shall speak of Hilbert and Gentzen relations . By a Hilbert relation we mean any substitution-invariant consequence relation on formulas —this comes to the same thing as the deducibility relation of a set of Hilbert-style axioms and rules. By a Gentzen relation we mean the fully fledged generalization of this notion in which sequents take the place of single formulas. In the literature, Hilbert relations are often referred to as sentential logics . Gentzen relations as defined here are their exact sequential counterparts." @default.
• W1984223485 created "2016-06-24" @default.
• W1984223485 creator A5078866044 @default.
• W1984223485 date "2006-09-01" @default.
• W1984223485 modified "2023-10-17" @default.
• W1984223485 title "Correspondences between gentzen and hilbert systems" @default.
• W1984223485 cites W1493313128 @default.
• W1984223485 cites W1495898183 @default.
• W1984223485 cites W1518264298 @default.
• W1984223485 cites W1540397322 @default.
• W1984223485 cites W1553786272 @default.
• W1984223485 cites W1554619471 @default.
• W1984223485 cites W1560156849 @default.
• W1984223485 cites W1573560425 @default.
• W1984223485 cites W1582926964 @default.
• W1984223485 cites W1602191112 @default.
• W1984223485 cites W1602480434 @default.
• W1984223485 cites W1964435671 @default.
• W1984223485 cites W1974484530 @default.
• W1984223485 cites W1987933965 @default.
• W1984223485 cites W2018304653 @default.
• W1984223485 cites W2025774031 @default.
• W1984223485 cites W2036183559 @default.
• W1984223485 cites W2057821078 @default.
• W1984223485 cites W2061319273 @default.
• W1984223485 cites W2062581225 @default.
• W1984223485 cites W2067332512 @default.
• W1984223485 cites W2070878538 @default.
• W1984223485 cites W2086425517 @default.
• W1984223485 cites W2095367681 @default.
• W1984223485 cites W2095704391 @default.
• W1984223485 cites W2104713289 @default.
• W1984223485 cites W2599657867 @default.
• W1984223485 cites W4205462352 @default.
• W1984223485 cites W4231562412 @default.
• W1984223485 cites W4238979413 @default.
• W1984223485 cites W4242462843 @default.
• W1984223485 cites W4247559916 @default.
• W1984223485 cites W98985150 @default.
• W1984223485 doi "https://doi.org/10.2178/jsl/1154698583" @default.
• W1984223485 hasPublicationYear "2006" @default.
• W1984223485 type Work @default.
• W1984223485 sameAs 1984223485 @default.
• W1984223485 citedByCount "38" @default.
• W1984223485 countsByYear W19842234852012 @default.
• W1984223485 countsByYear W19842234852013 @default.
• W1984223485 countsByYear W19842234852014 @default.
• W1984223485 countsByYear W19842234852016 @default.
• W1984223485 countsByYear W19842234852017 @default.
• W1984223485 countsByYear W19842234852018 @default.
• W1984223485 countsByYear W19842234852019 @default.
• W1984223485 countsByYear W19842234852021 @default.
• W1984223485 countsByYear W19842234852022 @default.
• W1984223485 countsByYear W19842234852023 @default.
• W1984223485 crossrefType "journal-article" @default.
• W1984223485 hasAuthorship W1984223485A5078866044 @default.
• W1984223485 hasConcept C118615104 @default.
• W1984223485 hasConcept C134306372 @default.
• W1984223485 hasConcept C136119220 @default.
• W1984223485 hasConcept C138885662 @default.
• W1984223485 hasConcept C167729594 @default.
• W1984223485 hasConcept C177148314 @default.
• W1984223485 hasConcept C199343813 @default.
• W1984223485 hasConcept C199360897 @default.
• W1984223485 hasConcept C202444582 @default.
• W1984223485 hasConcept C2524010 @default.
• W1984223485 hasConcept C25343380 @default.
• W1984223485 hasConcept C2777686260 @default.
• W1984223485 hasConcept C2778029271 @default.
• W1984223485 hasConcept C33923547 @default.
• W1984223485 hasConcept C3746660 @default.
• W1984223485 hasConcept C41008148 @default.
• W1984223485 hasConcept C41895202 @default.
• W1984223485 hasConcept C71924100 @default.
• W1984223485 hasConcept C77088390 @default.
• W1984223485 hasConceptScore W1984223485C118615104 @default.
• W1984223485 hasConceptScore W1984223485C134306372 @default.
• W1984223485 hasConceptScore W1984223485C136119220 @default.
• W1984223485 hasConceptScore W1984223485C138885662 @default.
• W1984223485 hasConceptScore W1984223485C167729594 @default.
• W1984223485 hasConceptScore W1984223485C177148314 @default.
• W1984223485 hasConceptScore W1984223485C199343813 @default.
• W1984223485 hasConceptScore W1984223485C199360897 @default.
• W1984223485 hasConceptScore W1984223485C202444582 @default.
• W1984223485 hasConceptScore W1984223485C2524010 @default.
• W1984223485 hasConceptScore W1984223485C25343380 @default.
• W1984223485 hasConceptScore W1984223485C2777686260 @default.
• W1984223485 hasConceptScore W1984223485C2778029271 @default.
• W1984223485 hasConceptScore W1984223485C33923547 @default.
• W1984223485 hasConceptScore W1984223485C3746660 @default.
• W1984223485 hasConceptScore W1984223485C41008148 @default.
• W1984223485 hasConceptScore W1984223485C41895202 @default.
• W1984223485 hasConceptScore W1984223485C71924100 @default.
• W1984223485 hasConceptScore W1984223485C77088390 @default.
• W1984223485 hasIssue "3" @default.
• W1984223485 hasLocation W19842234851 @default.
• W1984223485 hasOpenAccess W1984223485 @default.
• W1984223485 hasPrimaryLocation W19842234851 @default.

• next