Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786273201> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2786273201 endingPage "72" @default.
- W2786273201 startingPage "61" @default.
- W2786273201 abstract "In this paper we investigate two properties of some propositional systems of Intuitionistic, Johansson’s and Monotone logics: 1) the relations between the proofs complexities of strongly equal tautologies (valid sequents) and 2) the relations between the proofs complexities of minimal tautologies (valid sequents) and of results of substitutions in them. We show that 1) strongly equal tautologies (valid sequents) can have essential different proof complexities in the same system and 2) the result of substitution can be proved easier, than corresponding minimal tautology (valid sequents), therefore the systems, which are considered in this paper, are no monotonous neither by lines nor by size." @default.
- W2786273201 created "2018-02-23" @default.
- W2786273201 creator A5043172014 @default.
- W2786273201 creator A5072764078 @default.
- W2786273201 creator A5088670430 @default.
- W2786273201 date "2018-01-01" @default.
- W2786273201 modified "2023-10-17" @default.
- W2786273201 title "Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics" @default.
- W2786273201 doi "https://doi.org/10.18488/journal.2.2018.82.61.72" @default.
- W2786273201 hasPublicationYear "2018" @default.
- W2786273201 type Work @default.
- W2786273201 sameAs 2786273201 @default.
- W2786273201 citedByCount "2" @default.
- W2786273201 countsByYear W27862732012019 @default.
- W2786273201 countsByYear W27862732012020 @default.
- W2786273201 crossrefType "journal-article" @default.
- W2786273201 hasAuthorship W2786273201A5043172014 @default.
- W2786273201 hasAuthorship W2786273201A5072764078 @default.
- W2786273201 hasAuthorship W2786273201A5088670430 @default.
- W2786273201 hasBestOaLocation W27862732011 @default.
- W2786273201 hasConcept C102993220 @default.
- W2786273201 hasConcept C108710211 @default.
- W2786273201 hasConcept C118615104 @default.
- W2786273201 hasConcept C136119220 @default.
- W2786273201 hasConcept C14523651 @default.
- W2786273201 hasConcept C166374712 @default.
- W2786273201 hasConcept C178421362 @default.
- W2786273201 hasConcept C199343813 @default.
- W2786273201 hasConcept C202444582 @default.
- W2786273201 hasConcept C2524010 @default.
- W2786273201 hasConcept C2777686260 @default.
- W2786273201 hasConcept C2834757 @default.
- W2786273201 hasConcept C33203268 @default.
- W2786273201 hasConcept C33923547 @default.
- W2786273201 hasConcept C41008148 @default.
- W2786273201 hasConcept C69562738 @default.
- W2786273201 hasConcept C71924100 @default.
- W2786273201 hasConcept C80444323 @default.
- W2786273201 hasConceptScore W2786273201C102993220 @default.
- W2786273201 hasConceptScore W2786273201C108710211 @default.
- W2786273201 hasConceptScore W2786273201C118615104 @default.
- W2786273201 hasConceptScore W2786273201C136119220 @default.
- W2786273201 hasConceptScore W2786273201C14523651 @default.
- W2786273201 hasConceptScore W2786273201C166374712 @default.
- W2786273201 hasConceptScore W2786273201C178421362 @default.
- W2786273201 hasConceptScore W2786273201C199343813 @default.
- W2786273201 hasConceptScore W2786273201C202444582 @default.
- W2786273201 hasConceptScore W2786273201C2524010 @default.
- W2786273201 hasConceptScore W2786273201C2777686260 @default.
- W2786273201 hasConceptScore W2786273201C2834757 @default.
- W2786273201 hasConceptScore W2786273201C33203268 @default.
- W2786273201 hasConceptScore W2786273201C33923547 @default.
- W2786273201 hasConceptScore W2786273201C41008148 @default.
- W2786273201 hasConceptScore W2786273201C69562738 @default.
- W2786273201 hasConceptScore W2786273201C71924100 @default.
- W2786273201 hasConceptScore W2786273201C80444323 @default.
- W2786273201 hasIssue "2" @default.
- W2786273201 hasLocation W27862732011 @default.
- W2786273201 hasOpenAccess W2786273201 @default.
- W2786273201 hasPrimaryLocation W27862732011 @default.
- W2786273201 hasRelatedWork W1409123408 @default.
- W2786273201 hasRelatedWork W1537480708 @default.
- W2786273201 hasRelatedWork W2036161385 @default.
- W2786273201 hasRelatedWork W2270830817 @default.
- W2786273201 hasRelatedWork W2379048460 @default.
- W2786273201 hasRelatedWork W2379530778 @default.
- W2786273201 hasRelatedWork W2384278060 @default.
- W2786273201 hasRelatedWork W2531336559 @default.
- W2786273201 hasRelatedWork W2786273201 @default.
- W2786273201 hasRelatedWork W4235732401 @default.
- W2786273201 hasVolume "8" @default.
- W2786273201 isParatext "false" @default.
- W2786273201 isRetracted "false" @default.
- W2786273201 magId "2786273201" @default.
- W2786273201 workType "article" @default.