Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617588251> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2617588251 abstract "A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back." @default.
- W2617588251 created "2017-06-05" @default.
- W2617588251 creator A5035580127 @default.
- W2617588251 date "2016-03-30" @default.
- W2617588251 modified "2023-09-26" @default.
- W2617588251 title "An Alternative Natural Deduction for the Intuitionistic Propositional Logic" @default.
- W2617588251 cites W1795577507 @default.
- W2617588251 cites W2000871436 @default.
- W2617588251 cites W2060230835 @default.
- W2617588251 cites W2165614850 @default.
- W2617588251 doi "https://doi.org/10.18778/0138-0680.45.1.03" @default.
- W2617588251 hasPublicationYear "2016" @default.
- W2617588251 type Work @default.
- W2617588251 sameAs 2617588251 @default.
- W2617588251 citedByCount "0" @default.
- W2617588251 crossrefType "journal-article" @default.
- W2617588251 hasAuthorship W2617588251A5035580127 @default.
- W2617588251 hasBestOaLocation W26175882511 @default.
- W2617588251 hasConcept C102993220 @default.
- W2617588251 hasConcept C108710211 @default.
- W2617588251 hasConcept C111404639 @default.
- W2617588251 hasConcept C118615104 @default.
- W2617588251 hasConcept C136886441 @default.
- W2617588251 hasConcept C144024400 @default.
- W2617588251 hasConcept C14523651 @default.
- W2617588251 hasConcept C178421362 @default.
- W2617588251 hasConcept C19165224 @default.
- W2617588251 hasConcept C199343813 @default.
- W2617588251 hasConcept C199360897 @default.
- W2617588251 hasConcept C2524010 @default.
- W2617588251 hasConcept C2777686260 @default.
- W2617588251 hasConcept C33203268 @default.
- W2617588251 hasConcept C33923547 @default.
- W2617588251 hasConcept C41008148 @default.
- W2617588251 hasConcept C62073222 @default.
- W2617588251 hasConcept C6489637 @default.
- W2617588251 hasConcept C65880906 @default.
- W2617588251 hasConcept C69562738 @default.
- W2617588251 hasConcept C71924100 @default.
- W2617588251 hasConcept C74640108 @default.
- W2617588251 hasConcept C85343465 @default.
- W2617588251 hasConcept C89421646 @default.
- W2617588251 hasConceptScore W2617588251C102993220 @default.
- W2617588251 hasConceptScore W2617588251C108710211 @default.
- W2617588251 hasConceptScore W2617588251C111404639 @default.
- W2617588251 hasConceptScore W2617588251C118615104 @default.
- W2617588251 hasConceptScore W2617588251C136886441 @default.
- W2617588251 hasConceptScore W2617588251C144024400 @default.
- W2617588251 hasConceptScore W2617588251C14523651 @default.
- W2617588251 hasConceptScore W2617588251C178421362 @default.
- W2617588251 hasConceptScore W2617588251C19165224 @default.
- W2617588251 hasConceptScore W2617588251C199343813 @default.
- W2617588251 hasConceptScore W2617588251C199360897 @default.
- W2617588251 hasConceptScore W2617588251C2524010 @default.
- W2617588251 hasConceptScore W2617588251C2777686260 @default.
- W2617588251 hasConceptScore W2617588251C33203268 @default.
- W2617588251 hasConceptScore W2617588251C33923547 @default.
- W2617588251 hasConceptScore W2617588251C41008148 @default.
- W2617588251 hasConceptScore W2617588251C62073222 @default.
- W2617588251 hasConceptScore W2617588251C6489637 @default.
- W2617588251 hasConceptScore W2617588251C65880906 @default.
- W2617588251 hasConceptScore W2617588251C69562738 @default.
- W2617588251 hasConceptScore W2617588251C71924100 @default.
- W2617588251 hasConceptScore W2617588251C74640108 @default.
- W2617588251 hasConceptScore W2617588251C85343465 @default.
- W2617588251 hasConceptScore W2617588251C89421646 @default.
- W2617588251 hasIssue "1" @default.
- W2617588251 hasLocation W26175882511 @default.
- W2617588251 hasOpenAccess W2617588251 @default.
- W2617588251 hasPrimaryLocation W26175882511 @default.
- W2617588251 hasRelatedWork W1573739954 @default.
- W2617588251 hasRelatedWork W1714225901 @default.
- W2617588251 hasRelatedWork W182117412 @default.
- W2617588251 hasRelatedWork W2006339381 @default.
- W2617588251 hasRelatedWork W2617588251 @default.
- W2617588251 hasRelatedWork W2732055457 @default.
- W2617588251 hasRelatedWork W2753667555 @default.
- W2617588251 hasRelatedWork W2969539880 @default.
- W2617588251 hasRelatedWork W3150713206 @default.
- W2617588251 hasRelatedWork W4285491326 @default.
- W2617588251 hasVolume "45" @default.
- W2617588251 isParatext "false" @default.
- W2617588251 isRetracted "false" @default.
- W2617588251 magId "2617588251" @default.
- W2617588251 workType "article" @default.