FRINK Linked Data Fragments server

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

• W1988350591 abstract "We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Torun 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill this gap. The delay was partly due to the fact that the author from time to time was trying to improve the result and extend it to some additional logics by testing other methods of proving cut elimination. Unfortunately all these attempts failed and cut elimination holds only for these logics which were proved to satisfy this property already in 2005." @default.
• W1988350591 created "2016-06-24" @default.
• W1988350591 creator A5036443124 @default.
• W1988350591 date "2013-06-15" @default.
• W1988350591 modified "2023-09-26" @default.
• W1988350591 title "Admissibility of cut in congruent modal logics" @default.
• W1988350591 cites W1506717521 @default.
• W1988350591 cites W1528233644 @default.
• W1988350591 cites W1534873969 @default.
• W1988350591 cites W1568501149 @default.
• W1988350591 cites W1795577507 @default.
• W1988350591 cites W2183767755 @default.
• W1988350591 cites W2610670723 @default.
• W1988350591 cites W598113844 @default.
• W1988350591 cites W289783505 @default.
• W1988350591 doi "https://doi.org/10.12775/llp.2011.010" @default.
• W1988350591 hasPublicationYear "2013" @default.
• W1988350591 type Work @default.
• W1988350591 sameAs 1988350591 @default.
• W1988350591 citedByCount "5" @default.
• W1988350591 countsByYear W19883505912017 @default.
• W1988350591 countsByYear W19883505912018 @default.
• W1988350591 countsByYear W19883505912020 @default.
• W1988350591 countsByYear W19883505912021 @default.
• W1988350591 crossrefType "journal-article" @default.
• W1988350591 hasAuthorship W1988350591A5036443124 @default.
• W1988350591 hasBestOaLocation W19883505911 @default.
• W1988350591 hasConcept C108710211 @default.
• W1988350591 hasConcept C111404639 @default.
• W1988350591 hasConcept C111472728 @default.
• W1988350591 hasConcept C118615104 @default.
• W1988350591 hasConcept C134306372 @default.
• W1988350591 hasConcept C138885662 @default.
• W1988350591 hasConcept C144237770 @default.
• W1988350591 hasConcept C17744445 @default.
• W1988350591 hasConcept C185592680 @default.
• W1988350591 hasConcept C188027245 @default.
• W1988350591 hasConcept C189950617 @default.
• W1988350591 hasConcept C199343813 @default.
• W1988350591 hasConcept C199539241 @default.
• W1988350591 hasConcept C2524010 @default.
• W1988350591 hasConcept C27508121 @default.
• W1988350591 hasConcept C2777431735 @default.
• W1988350591 hasConcept C2777686260 @default.
• W1988350591 hasConcept C2780928512 @default.
• W1988350591 hasConcept C33923547 @default.
• W1988350591 hasConcept C41008148 @default.
• W1988350591 hasConcept C62073222 @default.
• W1988350591 hasConcept C6489637 @default.
• W1988350591 hasConcept C65880906 @default.
• W1988350591 hasConcept C71139939 @default.
• W1988350591 hasConcept C71924100 @default.
• W1988350591 hasConcept C72169020 @default.
• W1988350591 hasConcept C89421646 @default.
• W1988350591 hasConceptScore W1988350591C108710211 @default.
• W1988350591 hasConceptScore W1988350591C111404639 @default.
• W1988350591 hasConceptScore W1988350591C111472728 @default.
• W1988350591 hasConceptScore W1988350591C118615104 @default.
• W1988350591 hasConceptScore W1988350591C134306372 @default.
• W1988350591 hasConceptScore W1988350591C138885662 @default.
• W1988350591 hasConceptScore W1988350591C144237770 @default.
• W1988350591 hasConceptScore W1988350591C17744445 @default.
• W1988350591 hasConceptScore W1988350591C185592680 @default.
• W1988350591 hasConceptScore W1988350591C188027245 @default.
• W1988350591 hasConceptScore W1988350591C189950617 @default.
• W1988350591 hasConceptScore W1988350591C199343813 @default.
• W1988350591 hasConceptScore W1988350591C199539241 @default.
• W1988350591 hasConceptScore W1988350591C2524010 @default.
• W1988350591 hasConceptScore W1988350591C27508121 @default.
• W1988350591 hasConceptScore W1988350591C2777431735 @default.
• W1988350591 hasConceptScore W1988350591C2777686260 @default.
• W1988350591 hasConceptScore W1988350591C2780928512 @default.
• W1988350591 hasConceptScore W1988350591C33923547 @default.
• W1988350591 hasConceptScore W1988350591C41008148 @default.
• W1988350591 hasConceptScore W1988350591C62073222 @default.
• W1988350591 hasConceptScore W1988350591C6489637 @default.
• W1988350591 hasConceptScore W1988350591C65880906 @default.
• W1988350591 hasConceptScore W1988350591C71139939 @default.
• W1988350591 hasConceptScore W1988350591C71924100 @default.
• W1988350591 hasConceptScore W1988350591C72169020 @default.
• W1988350591 hasConceptScore W1988350591C89421646 @default.
• W1988350591 hasLocation W19883505911 @default.
• W1988350591 hasLocation W19883505912 @default.
• W1988350591 hasOpenAccess W1988350591 @default.
• W1988350591 hasPrimaryLocation W19883505911 @default.
• W1988350591 hasRelatedWork W1506717521 @default.
• W1988350591 hasRelatedWork W1565759659 @default.
• W1988350591 hasRelatedWork W1596067335 @default.
• W1988350591 hasRelatedWork W1966647830 @default.
• W1988350591 hasRelatedWork W1998546048 @default.
• W1988350591 hasRelatedWork W2058636048 @default.
• W1988350591 hasRelatedWork W2075792971 @default.
• W1988350591 hasRelatedWork W2127383193 @default.
• W1988350591 hasRelatedWork W2151854993 @default.
• W1988350591 hasRelatedWork W2172979345 @default.
• W1988350591 hasRelatedWork W2183767755 @default.
• W1988350591 hasRelatedWork W2483720016 @default.
• W1988350591 hasRelatedWork W2618809050 @default.
• W1988350591 hasRelatedWork W2768154882 @default.
• W1988350591 hasRelatedWork W2770508387 @default.

• next