Matches in SemOpenAlex for { <https://semopenalex.org/work/W79109766> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W79109766 abstract "In this work, we present a diagrammatic system in which diagrams based on graphs represent binary relations and reasoning on binary relations is performed by transformations on diagrams. We proved that if a diagram D1 can be transformed into a diagram D2 using the rules of our system, under a set Σ of hypotheses, then it is intuitionistically true that the relation defined by diagram D1 is a sub-relation of the one defined by diagram D2, under the hypotheses in Σ." @default.
- W79109766 created "2016-06-24" @default.
- W79109766 creator A5060106141 @default.
- W79109766 creator A5077633067 @default.
- W79109766 date "2012-01-01" @default.
- W79109766 modified "2023-09-27" @default.
- W79109766 title "A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations" @default.
- W79109766 cites W1249704292 @default.
- W79109766 cites W1503466517 @default.
- W79109766 cites W1578117339 @default.
- W79109766 cites W2018944629 @default.
- W79109766 cites W4250930808 @default.
- W79109766 doi "https://doi.org/10.1007/978-3-642-31223-6_40" @default.
- W79109766 hasPublicationYear "2012" @default.
- W79109766 type Work @default.
- W79109766 sameAs 79109766 @default.
- W79109766 citedByCount "3" @default.
- W79109766 countsByYear W791097662018 @default.
- W79109766 countsByYear W791097662020 @default.
- W79109766 crossrefType "book-chapter" @default.
- W79109766 hasAuthorship W79109766A5060106141 @default.
- W79109766 hasAuthorship W79109766A5077633067 @default.
- W79109766 hasConcept C106624574 @default.
- W79109766 hasConcept C118615104 @default.
- W79109766 hasConcept C124101348 @default.
- W79109766 hasConcept C132525143 @default.
- W79109766 hasConcept C134306372 @default.
- W79109766 hasConcept C136119220 @default.
- W79109766 hasConcept C145644426 @default.
- W79109766 hasConcept C186399060 @default.
- W79109766 hasConcept C199343813 @default.
- W79109766 hasConcept C199360897 @default.
- W79109766 hasConcept C202444582 @default.
- W79109766 hasConcept C202446494 @default.
- W79109766 hasConcept C25343380 @default.
- W79109766 hasConcept C2777686260 @default.
- W79109766 hasConcept C2777904410 @default.
- W79109766 hasConcept C33923547 @default.
- W79109766 hasConcept C41008148 @default.
- W79109766 hasConcept C48419115 @default.
- W79109766 hasConcept C65180967 @default.
- W79109766 hasConcept C71924100 @default.
- W79109766 hasConcept C77088390 @default.
- W79109766 hasConcept C80444323 @default.
- W79109766 hasConcept C9376300 @default.
- W79109766 hasConceptScore W79109766C106624574 @default.
- W79109766 hasConceptScore W79109766C118615104 @default.
- W79109766 hasConceptScore W79109766C124101348 @default.
- W79109766 hasConceptScore W79109766C132525143 @default.
- W79109766 hasConceptScore W79109766C134306372 @default.
- W79109766 hasConceptScore W79109766C136119220 @default.
- W79109766 hasConceptScore W79109766C145644426 @default.
- W79109766 hasConceptScore W79109766C186399060 @default.
- W79109766 hasConceptScore W79109766C199343813 @default.
- W79109766 hasConceptScore W79109766C199360897 @default.
- W79109766 hasConceptScore W79109766C202444582 @default.
- W79109766 hasConceptScore W79109766C202446494 @default.
- W79109766 hasConceptScore W79109766C25343380 @default.
- W79109766 hasConceptScore W79109766C2777686260 @default.
- W79109766 hasConceptScore W79109766C2777904410 @default.
- W79109766 hasConceptScore W79109766C33923547 @default.
- W79109766 hasConceptScore W79109766C41008148 @default.
- W79109766 hasConceptScore W79109766C48419115 @default.
- W79109766 hasConceptScore W79109766C65180967 @default.
- W79109766 hasConceptScore W79109766C71924100 @default.
- W79109766 hasConceptScore W79109766C77088390 @default.
- W79109766 hasConceptScore W79109766C80444323 @default.
- W79109766 hasConceptScore W79109766C9376300 @default.
- W79109766 hasLocation W791097661 @default.
- W79109766 hasOpenAccess W79109766 @default.
- W79109766 hasPrimaryLocation W791097661 @default.
- W79109766 hasRelatedWork W1511090187 @default.
- W79109766 hasRelatedWork W1513097816 @default.
- W79109766 hasRelatedWork W1588649080 @default.
- W79109766 hasRelatedWork W1608110916 @default.
- W79109766 hasRelatedWork W1678894354 @default.
- W79109766 hasRelatedWork W1770545992 @default.
- W79109766 hasRelatedWork W1976117441 @default.
- W79109766 hasRelatedWork W1994999396 @default.
- W79109766 hasRelatedWork W2042779906 @default.
- W79109766 hasRelatedWork W2062971860 @default.
- W79109766 hasRelatedWork W2063028251 @default.
- W79109766 hasRelatedWork W2142472201 @default.
- W79109766 hasRelatedWork W2295607337 @default.
- W79109766 hasRelatedWork W2408426960 @default.
- W79109766 hasRelatedWork W2614883855 @default.
- W79109766 hasRelatedWork W2952567904 @default.
- W79109766 hasRelatedWork W2996782717 @default.
- W79109766 hasRelatedWork W3004559848 @default.
- W79109766 hasRelatedWork W3049368325 @default.
- W79109766 hasRelatedWork W3105111019 @default.
- W79109766 isParatext "false" @default.
- W79109766 isRetracted "false" @default.
- W79109766 magId "79109766" @default.
- W79109766 workType "book-chapter" @default.