Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161232007> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2161232007 abstract "Godel propositional logic is the logic of the minimum triangular norm, and can be axiomatized as propositional intuitionistic logic augmented by the prelinearity axiom (alpha rarr beta) V (beta rarr alpha). Its algebraic counterpart is the subvariety of Heyting algebras satisfying prelinearity, known as Godel algebras. A Delannoy path is a lattice path in Z2 that only uses northward, eastward, and northeastward steps. We establish a representation theorem for free n-generated Godel algebras in terms of the Boolean n-cube {0,1}n, enriched by suitably generalized Delannoy paths." @default.
- W2161232007 created "2016-06-24" @default.
- W2161232007 creator A5039757989 @default.
- W2161232007 creator A5044747677 @default.
- W2161232007 creator A5079292799 @default.
- W2161232007 date "2007-06-01" @default.
- W2161232007 modified "2023-10-18" @default.
- W2161232007 title "Propositional Gödel Logic and Delannoy Paths" @default.
- W2161232007 cites W1535673504 @default.
- W2161232007 cites W2026315522 @default.
- W2161232007 cites W2036826699 @default.
- W2161232007 cites W2042637159 @default.
- W2161232007 cites W2055011182 @default.
- W2161232007 cites W2110182592 @default.
- W2161232007 cites W61972725 @default.
- W2161232007 doi "https://doi.org/10.1109/fuzzy.2007.4295542" @default.
- W2161232007 hasPublicationYear "2007" @default.
- W2161232007 type Work @default.
- W2161232007 sameAs 2161232007 @default.
- W2161232007 citedByCount "4" @default.
- W2161232007 countsByYear W21612320072015 @default.
- W2161232007 countsByYear W21612320072016 @default.
- W2161232007 crossrefType "proceedings-article" @default.
- W2161232007 hasAuthorship W2161232007A5039757989 @default.
- W2161232007 hasAuthorship W2161232007A5044747677 @default.
- W2161232007 hasAuthorship W2161232007A5079292799 @default.
- W2161232007 hasConcept C102993220 @default.
- W2161232007 hasConcept C118615104 @default.
- W2161232007 hasConcept C134306372 @default.
- W2161232007 hasConcept C178421362 @default.
- W2161232007 hasConcept C185592680 @default.
- W2161232007 hasConcept C188027245 @default.
- W2161232007 hasConcept C199360897 @default.
- W2161232007 hasConcept C27508121 @default.
- W2161232007 hasConcept C2781302003 @default.
- W2161232007 hasConcept C33203268 @default.
- W2161232007 hasConcept C33923547 @default.
- W2161232007 hasConcept C41008148 @default.
- W2161232007 hasConcept C69562738 @default.
- W2161232007 hasConcept C71139939 @default.
- W2161232007 hasConcept C80444323 @default.
- W2161232007 hasConcept C9376300 @default.
- W2161232007 hasConceptScore W2161232007C102993220 @default.
- W2161232007 hasConceptScore W2161232007C118615104 @default.
- W2161232007 hasConceptScore W2161232007C134306372 @default.
- W2161232007 hasConceptScore W2161232007C178421362 @default.
- W2161232007 hasConceptScore W2161232007C185592680 @default.
- W2161232007 hasConceptScore W2161232007C188027245 @default.
- W2161232007 hasConceptScore W2161232007C199360897 @default.
- W2161232007 hasConceptScore W2161232007C27508121 @default.
- W2161232007 hasConceptScore W2161232007C2781302003 @default.
- W2161232007 hasConceptScore W2161232007C33203268 @default.
- W2161232007 hasConceptScore W2161232007C33923547 @default.
- W2161232007 hasConceptScore W2161232007C41008148 @default.
- W2161232007 hasConceptScore W2161232007C69562738 @default.
- W2161232007 hasConceptScore W2161232007C71139939 @default.
- W2161232007 hasConceptScore W2161232007C80444323 @default.
- W2161232007 hasConceptScore W2161232007C9376300 @default.
- W2161232007 hasLocation W21612320071 @default.
- W2161232007 hasOpenAccess W2161232007 @default.
- W2161232007 hasPrimaryLocation W21612320071 @default.
- W2161232007 hasRelatedWork W117548466 @default.
- W2161232007 hasRelatedWork W1564167468 @default.
- W2161232007 hasRelatedWork W2003922364 @default.
- W2161232007 hasRelatedWork W2081976468 @default.
- W2161232007 hasRelatedWork W2285760602 @default.
- W2161232007 hasRelatedWork W229834379 @default.
- W2161232007 hasRelatedWork W2495379242 @default.
- W2161232007 hasRelatedWork W3137333128 @default.
- W2161232007 hasRelatedWork W54977314 @default.
- W2161232007 hasRelatedWork W2472593905 @default.
- W2161232007 isParatext "false" @default.
- W2161232007 isRetracted "false" @default.
- W2161232007 magId "2161232007" @default.
- W2161232007 workType "article" @default.