Matches in SemOpenAlex for { <https://semopenalex.org/work/W142105915> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W142105915 endingPage "262" @default.
- W142105915 startingPage "248" @default.
- W142105915 abstract "Gödel-Dummett logic is an extension of first-order intuitionistic logic with the linearity axiom $(A supset B) lor (B supset A)$ , and the so-called “quantifier shift” axiom $forall x(A lor B(x)) supset A lor forall x B(x).$ Semantically, it can be characterised as a logic for linear Kripke frames with constant domains. Gödel-Dummett logic has a natural formalisation in hypersequent calculus. However, if one drops the quantifier shift axiom, which corresponds to the constant domain property, then the resulting logic has to date no known hypersequent formalisation. We consider an extension of hypersequent calculus in which eigenvariables in the hypersequents form an explicit part of the structures of the hypersequents. This extra structure allows one to formulate quantifier rules which are more refined. We give a formalisation of Gödel-Dummett logic without the assumption of constant domain in this extended hypersequent calculus. We prove cut elimination for this hypersequent system, and show that it is sound and complete with respect to its Hilbert axiomatic system." @default.
- W142105915 created "2016-06-24" @default.
- W142105915 creator A5071064651 @default.
- W142105915 date "2011-01-01" @default.
- W142105915 modified "2023-09-28" @default.
- W142105915 title "A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains" @default.
- W142105915 cites W101915042 @default.
- W142105915 cites W1544231002 @default.
- W142105915 cites W1594146612 @default.
- W142105915 cites W1971043428 @default.
- W142105915 cites W1977030765 @default.
- W142105915 cites W1978639634 @default.
- W142105915 cites W1988449272 @default.
- W142105915 cites W2008876986 @default.
- W142105915 cites W2027917524 @default.
- W142105915 cites W2037330115 @default.
- W142105915 cites W2041063004 @default.
- W142105915 cites W2048991961 @default.
- W142105915 cites W2065076866 @default.
- W142105915 cites W2075352622 @default.
- W142105915 cites W2082297482 @default.
- W142105915 cites W2096482476 @default.
- W142105915 cites W2106490090 @default.
- W142105915 cites W2124047678 @default.
- W142105915 cites W28017348 @default.
- W142105915 cites W4246158588 @default.
- W142105915 cites W586261321 @default.
- W142105915 cites W981129589 @default.
- W142105915 doi "https://doi.org/10.1007/978-3-642-22119-4_20" @default.
- W142105915 hasPublicationYear "2011" @default.
- W142105915 type Work @default.
- W142105915 sameAs 142105915 @default.
- W142105915 citedByCount "4" @default.
- W142105915 countsByYear W1421059152014 @default.
- W142105915 countsByYear W1421059152015 @default.
- W142105915 countsByYear W1421059152023 @default.
- W142105915 crossrefType "book-chapter" @default.
- W142105915 hasAuthorship W142105915A5071064651 @default.
- W142105915 hasConcept C118615104 @default.
- W142105915 hasConcept C134306372 @default.
- W142105915 hasConcept C136119220 @default.
- W142105915 hasConcept C151797676 @default.
- W142105915 hasConcept C153046414 @default.
- W142105915 hasConcept C154945302 @default.
- W142105915 hasConcept C167729594 @default.
- W142105915 hasConcept C177264268 @default.
- W142105915 hasConcept C199343813 @default.
- W142105915 hasConcept C199360897 @default.
- W142105915 hasConcept C202444582 @default.
- W142105915 hasConcept C2524010 @default.
- W142105915 hasConcept C2777027219 @default.
- W142105915 hasConcept C2777686260 @default.
- W142105915 hasConcept C2778029271 @default.
- W142105915 hasConcept C2778523021 @default.
- W142105915 hasConcept C33923547 @default.
- W142105915 hasConcept C36503486 @default.
- W142105915 hasConcept C41008148 @default.
- W142105915 hasConcept C71924100 @default.
- W142105915 hasConceptScore W142105915C118615104 @default.
- W142105915 hasConceptScore W142105915C134306372 @default.
- W142105915 hasConceptScore W142105915C136119220 @default.
- W142105915 hasConceptScore W142105915C151797676 @default.
- W142105915 hasConceptScore W142105915C153046414 @default.
- W142105915 hasConceptScore W142105915C154945302 @default.
- W142105915 hasConceptScore W142105915C167729594 @default.
- W142105915 hasConceptScore W142105915C177264268 @default.
- W142105915 hasConceptScore W142105915C199343813 @default.
- W142105915 hasConceptScore W142105915C199360897 @default.
- W142105915 hasConceptScore W142105915C202444582 @default.
- W142105915 hasConceptScore W142105915C2524010 @default.
- W142105915 hasConceptScore W142105915C2777027219 @default.
- W142105915 hasConceptScore W142105915C2777686260 @default.
- W142105915 hasConceptScore W142105915C2778029271 @default.
- W142105915 hasConceptScore W142105915C2778523021 @default.
- W142105915 hasConceptScore W142105915C33923547 @default.
- W142105915 hasConceptScore W142105915C36503486 @default.
- W142105915 hasConceptScore W142105915C41008148 @default.
- W142105915 hasConceptScore W142105915C71924100 @default.
- W142105915 hasLocation W1421059151 @default.
- W142105915 hasOpenAccess W142105915 @default.
- W142105915 hasPrimaryLocation W1421059151 @default.
- W142105915 hasRelatedWork W1526552119 @default.
- W142105915 hasRelatedWork W1532092775 @default.
- W142105915 hasRelatedWork W1673689202 @default.
- W142105915 hasRelatedWork W2009224036 @default.
- W142105915 hasRelatedWork W2039529386 @default.
- W142105915 hasRelatedWork W2773540688 @default.
- W142105915 hasRelatedWork W3084111828 @default.
- W142105915 hasRelatedWork W3088044682 @default.
- W142105915 hasRelatedWork W3215056321 @default.
- W142105915 hasRelatedWork W903421707 @default.
- W142105915 isParatext "false" @default.
- W142105915 isRetracted "false" @default.
- W142105915 magId "142105915" @default.
- W142105915 workType "book-chapter" @default.