Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956110229> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2956110229 endingPage "114" @default.
- W2956110229 startingPage "73" @default.
- W2956110229 abstract "A graphical approach to intuitionistic propositional logic is presented. The system GrIn is a deep inference system and is formulated in terms of Peirce’s existential graphs. GrIn is shown to be sound and complete with respect to the class of all Heyting algebras. The system GrIn is shown to be equivalent to the Gentzen sequent calculus G3ip via translations between intuitionistic graphs and intuitionistic formulae. We also discuss the intuitionistic interpretation of logical constants proposed by the graphical approach." @default.
- W2956110229 created "2019-07-12" @default.
- W2956110229 creator A5040780405 @default.
- W2956110229 creator A5061997421 @default.
- W2956110229 date "2019-01-02" @default.
- W2956110229 modified "2023-09-23" @default.
- W2956110229 title "A Graphical Deep Inference System for Intuitionistic Logic" @default.
- W2956110229 doi "https://doi.org/10.2143/lea.245.0.3285706" @default.
- W2956110229 hasPublicationYear "2019" @default.
- W2956110229 type Work @default.
- W2956110229 sameAs 2956110229 @default.
- W2956110229 citedByCount "3" @default.
- W2956110229 countsByYear W29561102292020 @default.
- W2956110229 countsByYear W29561102292022 @default.
- W2956110229 crossrefType "journal-article" @default.
- W2956110229 hasAuthorship W2956110229A5040780405 @default.
- W2956110229 hasAuthorship W2956110229A5061997421 @default.
- W2956110229 hasConcept C102993220 @default.
- W2956110229 hasConcept C108710211 @default.
- W2956110229 hasConcept C118615104 @default.
- W2956110229 hasConcept C136119220 @default.
- W2956110229 hasConcept C154945302 @default.
- W2956110229 hasConcept C178421362 @default.
- W2956110229 hasConcept C199343813 @default.
- W2956110229 hasConcept C199360897 @default.
- W2956110229 hasConcept C202444582 @default.
- W2956110229 hasConcept C2524010 @default.
- W2956110229 hasConcept C2776214188 @default.
- W2956110229 hasConcept C2777212361 @default.
- W2956110229 hasConcept C2777686260 @default.
- W2956110229 hasConcept C33203268 @default.
- W2956110229 hasConcept C33923547 @default.
- W2956110229 hasConcept C3746660 @default.
- W2956110229 hasConcept C41008148 @default.
- W2956110229 hasConcept C527412718 @default.
- W2956110229 hasConcept C62073222 @default.
- W2956110229 hasConcept C6489637 @default.
- W2956110229 hasConcept C65880906 @default.
- W2956110229 hasConcept C69562738 @default.
- W2956110229 hasConcept C71924100 @default.
- W2956110229 hasConcept C80444323 @default.
- W2956110229 hasConcept C89421646 @default.
- W2956110229 hasConceptScore W2956110229C102993220 @default.
- W2956110229 hasConceptScore W2956110229C108710211 @default.
- W2956110229 hasConceptScore W2956110229C118615104 @default.
- W2956110229 hasConceptScore W2956110229C136119220 @default.
- W2956110229 hasConceptScore W2956110229C154945302 @default.
- W2956110229 hasConceptScore W2956110229C178421362 @default.
- W2956110229 hasConceptScore W2956110229C199343813 @default.
- W2956110229 hasConceptScore W2956110229C199360897 @default.
- W2956110229 hasConceptScore W2956110229C202444582 @default.
- W2956110229 hasConceptScore W2956110229C2524010 @default.
- W2956110229 hasConceptScore W2956110229C2776214188 @default.
- W2956110229 hasConceptScore W2956110229C2777212361 @default.
- W2956110229 hasConceptScore W2956110229C2777686260 @default.
- W2956110229 hasConceptScore W2956110229C33203268 @default.
- W2956110229 hasConceptScore W2956110229C33923547 @default.
- W2956110229 hasConceptScore W2956110229C3746660 @default.
- W2956110229 hasConceptScore W2956110229C41008148 @default.
- W2956110229 hasConceptScore W2956110229C527412718 @default.
- W2956110229 hasConceptScore W2956110229C62073222 @default.
- W2956110229 hasConceptScore W2956110229C6489637 @default.
- W2956110229 hasConceptScore W2956110229C65880906 @default.
- W2956110229 hasConceptScore W2956110229C69562738 @default.
- W2956110229 hasConceptScore W2956110229C71924100 @default.
- W2956110229 hasConceptScore W2956110229C80444323 @default.
- W2956110229 hasConceptScore W2956110229C89421646 @default.
- W2956110229 hasIssue "245" @default.
- W2956110229 hasLocation W29561102291 @default.
- W2956110229 hasOpenAccess W2956110229 @default.
- W2956110229 hasPrimaryLocation W29561102291 @default.
- W2956110229 hasRelatedWork W1502488001 @default.
- W2956110229 hasRelatedWork W1544846403 @default.
- W2956110229 hasRelatedWork W1562822918 @default.
- W2956110229 hasRelatedWork W1567995736 @default.
- W2956110229 hasRelatedWork W1570374618 @default.
- W2956110229 hasRelatedWork W1951369434 @default.
- W2956110229 hasRelatedWork W1963559850 @default.
- W2956110229 hasRelatedWork W20138908 @default.
- W2956110229 hasRelatedWork W2038737679 @default.
- W2956110229 hasRelatedWork W2045641531 @default.
- W2956110229 hasRelatedWork W2051609898 @default.
- W2956110229 hasRelatedWork W2065076866 @default.
- W2956110229 hasRelatedWork W2126167317 @default.
- W2956110229 hasRelatedWork W2163197731 @default.
- W2956110229 hasRelatedWork W2409304415 @default.
- W2956110229 hasRelatedWork W2754467536 @default.
- W2956110229 hasRelatedWork W2773341309 @default.
- W2956110229 hasRelatedWork W3145584637 @default.
- W2956110229 hasRelatedWork W3199967992 @default.
- W2956110229 hasRelatedWork W3209079210 @default.
- W2956110229 hasVolume "245" @default.
- W2956110229 isParatext "false" @default.
- W2956110229 isRetracted "false" @default.
- W2956110229 magId "2956110229" @default.
- W2956110229 workType "article" @default.