Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381616941> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4381616941 endingPage "620" @default.
- W4381616941 startingPage "620" @default.
- W4381616941 abstract "The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property. The proof proceeds in terms of a Kolmogorov translation and three intermediate sequent systems. Finally, we show that tense logics axiomatized by strictly positive implication have cut-free Gentzen sequent calculi uniformly." @default.
- W4381616941 created "2023-06-23" @default.
- W4381616941 creator A5000786308 @default.
- W4381616941 creator A5001729272 @default.
- W4381616941 date "2023-06-21" @default.
- W4381616941 modified "2023-09-26" @default.
- W4381616941 title "Cut-Free Gentzen Sequent Calculi for Tense Logics" @default.
- W4381616941 cites W1528233644 @default.
- W4381616941 cites W1994532891 @default.
- W4381616941 cites W1995718667 @default.
- W4381616941 cites W1996723544 @default.
- W4381616941 cites W2063029497 @default.
- W4381616941 cites W2947164448 @default.
- W4381616941 cites W4211144022 @default.
- W4381616941 cites W4248156396 @default.
- W4381616941 cites W4281490290 @default.
- W4381616941 cites W570944246 @default.
- W4381616941 cites W586261321 @default.
- W4381616941 cites W620828109 @default.
- W4381616941 doi "https://doi.org/10.3390/axioms12070620" @default.
- W4381616941 hasPublicationYear "2023" @default.
- W4381616941 type Work @default.
- W4381616941 citedByCount "0" @default.
- W4381616941 crossrefType "journal-article" @default.
- W4381616941 hasAuthorship W4381616941A5000786308 @default.
- W4381616941 hasAuthorship W4381616941A5001729272 @default.
- W4381616941 hasBestOaLocation W43816169411 @default.
- W4381616941 hasConcept C108710211 @default.
- W4381616941 hasConcept C111404639 @default.
- W4381616941 hasConcept C111472728 @default.
- W4381616941 hasConcept C118615104 @default.
- W4381616941 hasConcept C138885662 @default.
- W4381616941 hasConcept C189950617 @default.
- W4381616941 hasConcept C199343813 @default.
- W4381616941 hasConcept C2524010 @default.
- W4381616941 hasConcept C2777686260 @default.
- W4381616941 hasConcept C33923547 @default.
- W4381616941 hasConcept C62073222 @default.
- W4381616941 hasConcept C6489637 @default.
- W4381616941 hasConcept C65880906 @default.
- W4381616941 hasConcept C71924100 @default.
- W4381616941 hasConcept C89421646 @default.
- W4381616941 hasConceptScore W4381616941C108710211 @default.
- W4381616941 hasConceptScore W4381616941C111404639 @default.
- W4381616941 hasConceptScore W4381616941C111472728 @default.
- W4381616941 hasConceptScore W4381616941C118615104 @default.
- W4381616941 hasConceptScore W4381616941C138885662 @default.
- W4381616941 hasConceptScore W4381616941C189950617 @default.
- W4381616941 hasConceptScore W4381616941C199343813 @default.
- W4381616941 hasConceptScore W4381616941C2524010 @default.
- W4381616941 hasConceptScore W4381616941C2777686260 @default.
- W4381616941 hasConceptScore W4381616941C33923547 @default.
- W4381616941 hasConceptScore W4381616941C62073222 @default.
- W4381616941 hasConceptScore W4381616941C6489637 @default.
- W4381616941 hasConceptScore W4381616941C65880906 @default.
- W4381616941 hasConceptScore W4381616941C71924100 @default.
- W4381616941 hasConceptScore W4381616941C89421646 @default.
- W4381616941 hasIssue "7" @default.
- W4381616941 hasLocation W43816169411 @default.
- W4381616941 hasLocation W43816169412 @default.
- W4381616941 hasOpenAccess W4381616941 @default.
- W4381616941 hasPrimaryLocation W43816169411 @default.
- W4381616941 hasRelatedWork W1562648369 @default.
- W4381616941 hasRelatedWork W2023557900 @default.
- W4381616941 hasRelatedWork W2137780954 @default.
- W4381616941 hasRelatedWork W2351433375 @default.
- W4381616941 hasRelatedWork W2513857873 @default.
- W4381616941 hasRelatedWork W2891688494 @default.
- W4381616941 hasRelatedWork W3090765541 @default.
- W4381616941 hasRelatedWork W4289719533 @default.
- W4381616941 hasRelatedWork W4295728898 @default.
- W4381616941 hasRelatedWork W2584381231 @default.
- W4381616941 hasVolume "12" @default.
- W4381616941 isParatext "false" @default.
- W4381616941 isRetracted "false" @default.
- W4381616941 workType "article" @default.