Matches in SemOpenAlex for { <https://semopenalex.org/work/W1650333298> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1650333298 abstract "The relationship between Heyting algebras (HA) and semirings is explored. A new class of HAs called Symmetric Heyting algebras (SHAs) is proposed, and a necessary condition on SHAs to be consider semirings is given. We define a new mathematical family called Heyting structures, which are similar to semirings, but with Heyting-algebra operators in place of the usual arithmetic operators usually seen in semirings. The impact of the zero-sum free property of semirings on Heyting structures is shown as also the condition under which it is possible to extend one Heyting structure to another. It is also shown that the union of two or more sets forming Heyting structures is again a Heyting structure, if the operators on the new structure are suitably derived from those of the component structures. The analysis also provides a sufficient condition such that the larger Heyting structure satisfying a monotony law implies that the ones forming the union do so as well." @default.
- W1650333298 created "2016-06-24" @default.
- W1650333298 creator A5010588043 @default.
- W1650333298 creator A5020263500 @default.
- W1650333298 creator A5031601882 @default.
- W1650333298 date "2008-12-19" @default.
- W1650333298 modified "2023-09-27" @default.
- W1650333298 title "Semiring Properties of Heyting Algebras" @default.
- W1650333298 cites W1500245277 @default.
- W1650333298 cites W1796144422 @default.
- W1650333298 cites W1999786698 @default.
- W1650333298 cites W2005294666 @default.
- W1650333298 cites W2029295128 @default.
- W1650333298 cites W2143801825 @default.
- W1650333298 hasPublicationYear "2008" @default.
- W1650333298 type Work @default.
- W1650333298 sameAs 1650333298 @default.
- W1650333298 citedByCount "1" @default.
- W1650333298 crossrefType "posted-content" @default.
- W1650333298 hasAuthorship W1650333298A5010588043 @default.
- W1650333298 hasAuthorship W1650333298A5020263500 @default.
- W1650333298 hasAuthorship W1650333298A5031601882 @default.
- W1650333298 hasConcept C111472728 @default.
- W1650333298 hasConcept C136119220 @default.
- W1650333298 hasConcept C138885662 @default.
- W1650333298 hasConcept C154945302 @default.
- W1650333298 hasConcept C187062830 @default.
- W1650333298 hasConcept C189950617 @default.
- W1650333298 hasConcept C202444582 @default.
- W1650333298 hasConcept C2777212361 @default.
- W1650333298 hasConcept C33923547 @default.
- W1650333298 hasConcept C41008148 @default.
- W1650333298 hasConceptScore W1650333298C111472728 @default.
- W1650333298 hasConceptScore W1650333298C136119220 @default.
- W1650333298 hasConceptScore W1650333298C138885662 @default.
- W1650333298 hasConceptScore W1650333298C154945302 @default.
- W1650333298 hasConceptScore W1650333298C187062830 @default.
- W1650333298 hasConceptScore W1650333298C189950617 @default.
- W1650333298 hasConceptScore W1650333298C202444582 @default.
- W1650333298 hasConceptScore W1650333298C2777212361 @default.
- W1650333298 hasConceptScore W1650333298C33923547 @default.
- W1650333298 hasConceptScore W1650333298C41008148 @default.
- W1650333298 hasLocation W16503332981 @default.
- W1650333298 hasOpenAccess W1650333298 @default.
- W1650333298 hasPrimaryLocation W16503332981 @default.
- W1650333298 hasRelatedWork W117198147 @default.
- W1650333298 hasRelatedWork W1489604388 @default.
- W1650333298 hasRelatedWork W1509351155 @default.
- W1650333298 hasRelatedWork W1593006801 @default.
- W1650333298 hasRelatedWork W1602501515 @default.
- W1650333298 hasRelatedWork W1664205513 @default.
- W1650333298 hasRelatedWork W1968315635 @default.
- W1650333298 hasRelatedWork W1978079546 @default.
- W1650333298 hasRelatedWork W1987007120 @default.
- W1650333298 hasRelatedWork W2028822621 @default.
- W1650333298 hasRelatedWork W2081967592 @default.
- W1650333298 hasRelatedWork W2127691971 @default.
- W1650333298 hasRelatedWork W2528103913 @default.
- W1650333298 hasRelatedWork W2788862101 @default.
- W1650333298 hasRelatedWork W2792985590 @default.
- W1650333298 hasRelatedWork W2895355856 @default.
- W1650333298 hasRelatedWork W3105332920 @default.
- W1650333298 hasRelatedWork W3208069981 @default.
- W1650333298 hasRelatedWork W42764336 @default.
- W1650333298 hasRelatedWork W815945988 @default.
- W1650333298 isParatext "false" @default.
- W1650333298 isRetracted "false" @default.
- W1650333298 magId "1650333298" @default.
- W1650333298 workType "article" @default.