Matches in SemOpenAlex for { <https://semopenalex.org/work/W2618809050> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2618809050 abstract "Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations. In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8])." @default.
- W2618809050 created "2017-06-05" @default.
- W2618809050 creator A5036402775 @default.
- W2618809050 date "2016-03-30" @default.
- W2618809050 modified "2023-10-16" @default.
- W2618809050 title "A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs" @default.
- W2618809050 cites W1975560341 @default.
- W2618809050 cites W1994230264 @default.
- W2618809050 cites W2001037801 @default.
- W2618809050 cites W2034070758 @default.
- W2618809050 cites W2052270606 @default.
- W2618809050 cites W2073543470 @default.
- W2618809050 cites W2079626851 @default.
- W2618809050 cites W2095441824 @default.
- W2618809050 cites W2105505307 @default.
- W2618809050 cites W2122138413 @default.
- W2618809050 cites W2143346393 @default.
- W2618809050 cites W2743117888 @default.
- W2618809050 cites W3039529476 @default.
- W2618809050 doi "https://doi.org/10.18778/0138-0680.45.1.02" @default.
- W2618809050 hasPublicationYear "2016" @default.
- W2618809050 type Work @default.
- W2618809050 sameAs 2618809050 @default.
- W2618809050 citedByCount "1" @default.
- W2618809050 countsByYear W26188090502021 @default.
- W2618809050 crossrefType "journal-article" @default.
- W2618809050 hasAuthorship W2618809050A5036402775 @default.
- W2618809050 hasBestOaLocation W26188090501 @default.
- W2618809050 hasConcept C10138342 @default.
- W2618809050 hasConcept C105795698 @default.
- W2618809050 hasConcept C108710211 @default.
- W2618809050 hasConcept C111472728 @default.
- W2618809050 hasConcept C112343008 @default.
- W2618809050 hasConcept C118615104 @default.
- W2618809050 hasConcept C136119220 @default.
- W2618809050 hasConcept C138885662 @default.
- W2618809050 hasConcept C162324750 @default.
- W2618809050 hasConcept C167729594 @default.
- W2618809050 hasConcept C182306322 @default.
- W2618809050 hasConcept C189950617 @default.
- W2618809050 hasConcept C199343813 @default.
- W2618809050 hasConcept C199360897 @default.
- W2618809050 hasConcept C202444582 @default.
- W2618809050 hasConcept C23123220 @default.
- W2618809050 hasConcept C2524010 @default.
- W2618809050 hasConcept C2777686260 @default.
- W2618809050 hasConcept C2778029271 @default.
- W2618809050 hasConcept C33923547 @default.
- W2618809050 hasConcept C35651441 @default.
- W2618809050 hasConcept C41008148 @default.
- W2618809050 hasConcept C52146309 @default.
- W2618809050 hasConcept C71924100 @default.
- W2618809050 hasConceptScore W2618809050C10138342 @default.
- W2618809050 hasConceptScore W2618809050C105795698 @default.
- W2618809050 hasConceptScore W2618809050C108710211 @default.
- W2618809050 hasConceptScore W2618809050C111472728 @default.
- W2618809050 hasConceptScore W2618809050C112343008 @default.
- W2618809050 hasConceptScore W2618809050C118615104 @default.
- W2618809050 hasConceptScore W2618809050C136119220 @default.
- W2618809050 hasConceptScore W2618809050C138885662 @default.
- W2618809050 hasConceptScore W2618809050C162324750 @default.
- W2618809050 hasConceptScore W2618809050C167729594 @default.
- W2618809050 hasConceptScore W2618809050C182306322 @default.
- W2618809050 hasConceptScore W2618809050C189950617 @default.
- W2618809050 hasConceptScore W2618809050C199343813 @default.
- W2618809050 hasConceptScore W2618809050C199360897 @default.
- W2618809050 hasConceptScore W2618809050C202444582 @default.
- W2618809050 hasConceptScore W2618809050C23123220 @default.
- W2618809050 hasConceptScore W2618809050C2524010 @default.
- W2618809050 hasConceptScore W2618809050C2777686260 @default.
- W2618809050 hasConceptScore W2618809050C2778029271 @default.
- W2618809050 hasConceptScore W2618809050C33923547 @default.
- W2618809050 hasConceptScore W2618809050C35651441 @default.
- W2618809050 hasConceptScore W2618809050C41008148 @default.
- W2618809050 hasConceptScore W2618809050C52146309 @default.
- W2618809050 hasConceptScore W2618809050C71924100 @default.
- W2618809050 hasIssue "1" @default.
- W2618809050 hasLocation W26188090501 @default.
- W2618809050 hasLocation W26188090502 @default.
- W2618809050 hasOpenAccess W2618809050 @default.
- W2618809050 hasPrimaryLocation W26188090501 @default.
- W2618809050 hasRelatedWork W100267613 @default.
- W2618809050 hasRelatedWork W1963972041 @default.
- W2618809050 hasRelatedWork W2020174565 @default.
- W2618809050 hasRelatedWork W2047934837 @default.
- W2618809050 hasRelatedWork W2570412009 @default.
- W2618809050 hasRelatedWork W2951628692 @default.
- W2618809050 hasRelatedWork W2955814409 @default.
- W2618809050 hasRelatedWork W4299291666 @default.
- W2618809050 hasRelatedWork W4323354904 @default.
- W2618809050 hasRelatedWork W569075308 @default.
- W2618809050 hasVolume "45" @default.
- W2618809050 isParatext "false" @default.
- W2618809050 isRetracted "false" @default.
- W2618809050 magId "2618809050" @default.
- W2618809050 workType "article" @default.