Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048696070> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3048696070 endingPage "375" @default.
- W3048696070 startingPage "359" @default.
- W3048696070 abstract "We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics." @default.
- W3048696070 created "2020-08-18" @default.
- W3048696070 creator A5080638614 @default.
- W3048696070 date "2020-12-30" @default.
- W3048696070 modified "2023-10-16" @default.
- W3048696070 title "Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations" @default.
- W3048696070 cites W1977100458 @default.
- W3048696070 cites W4238295494 @default.
- W3048696070 doi "https://doi.org/10.18778/0138-0680.2020.13" @default.
- W3048696070 hasPublicationYear "2020" @default.
- W3048696070 type Work @default.
- W3048696070 sameAs 3048696070 @default.
- W3048696070 citedByCount "1" @default.
- W3048696070 countsByYear W30486960702022 @default.
- W3048696070 crossrefType "journal-article" @default.
- W3048696070 hasAuthorship W3048696070A5080638614 @default.
- W3048696070 hasBestOaLocation W30486960701 @default.
- W3048696070 hasConcept C118615104 @default.
- W3048696070 hasConcept C127001435 @default.
- W3048696070 hasConcept C136119220 @default.
- W3048696070 hasConcept C156325763 @default.
- W3048696070 hasConcept C184337299 @default.
- W3048696070 hasConcept C194146651 @default.
- W3048696070 hasConcept C199343813 @default.
- W3048696070 hasConcept C199360897 @default.
- W3048696070 hasConcept C202444582 @default.
- W3048696070 hasConcept C2185349 @default.
- W3048696070 hasConcept C2777686260 @default.
- W3048696070 hasConcept C33923547 @default.
- W3048696070 hasConcept C41008148 @default.
- W3048696070 hasConcept C71924100 @default.
- W3048696070 hasConcept C89421646 @default.
- W3048696070 hasConceptScore W3048696070C118615104 @default.
- W3048696070 hasConceptScore W3048696070C127001435 @default.
- W3048696070 hasConceptScore W3048696070C136119220 @default.
- W3048696070 hasConceptScore W3048696070C156325763 @default.
- W3048696070 hasConceptScore W3048696070C184337299 @default.
- W3048696070 hasConceptScore W3048696070C194146651 @default.
- W3048696070 hasConceptScore W3048696070C199343813 @default.
- W3048696070 hasConceptScore W3048696070C199360897 @default.
- W3048696070 hasConceptScore W3048696070C202444582 @default.
- W3048696070 hasConceptScore W3048696070C2185349 @default.
- W3048696070 hasConceptScore W3048696070C2777686260 @default.
- W3048696070 hasConceptScore W3048696070C33923547 @default.
- W3048696070 hasConceptScore W3048696070C41008148 @default.
- W3048696070 hasConceptScore W3048696070C71924100 @default.
- W3048696070 hasConceptScore W3048696070C89421646 @default.
- W3048696070 hasIssue "4" @default.
- W3048696070 hasLocation W30486960701 @default.
- W3048696070 hasLocation W30486960702 @default.
- W3048696070 hasLocation W30486960703 @default.
- W3048696070 hasOpenAccess W3048696070 @default.
- W3048696070 hasPrimaryLocation W30486960701 @default.
- W3048696070 hasRelatedWork W1510529520 @default.
- W3048696070 hasRelatedWork W1511862481 @default.
- W3048696070 hasRelatedWork W1520803844 @default.
- W3048696070 hasRelatedWork W1760119702 @default.
- W3048696070 hasRelatedWork W1969369051 @default.
- W3048696070 hasRelatedWork W1994943823 @default.
- W3048696070 hasRelatedWork W2144782528 @default.
- W3048696070 hasRelatedWork W2497058334 @default.
- W3048696070 hasRelatedWork W2619935969 @default.
- W3048696070 hasRelatedWork W2799750375 @default.
- W3048696070 hasVolume "49" @default.
- W3048696070 isParatext "false" @default.
- W3048696070 isRetracted "false" @default.
- W3048696070 magId "3048696070" @default.
- W3048696070 workType "article" @default.