Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103602076> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2103602076 endingPage "1060" @default.
- W2103602076 startingPage "1042" @default.
- W2103602076 abstract "In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of interval-valued residuated lattices (IVRLs). Furthermore, we present triangle logic (TL), a system of many-valued logic capturing the tautologies of IVRLs. Triangle algebras are used to cast the essence of using closed intervals of L as truth values into a set of appropriate logical axioms. Our results constitute a crucial first step towards solving an important research challenge: the axiomatic formalization of residuated t-norm based logics on L^I, the lattice of closed intervals of [0,1], in a similar way as was done for formal fuzzy logics on the unit interval." @default.
- W2103602076 created "2016-06-24" @default.
- W2103602076 creator A5007044346 @default.
- W2103602076 creator A5012631053 @default.
- W2103602076 creator A5072347317 @default.
- W2103602076 creator A5091486233 @default.
- W2103602076 date "2008-05-01" @default.
- W2103602076 modified "2023-09-27" @default.
- W2103602076 title "Triangle algebras: A formal logic approach to interval-valued residuated lattices" @default.
- W2103602076 cites W1511669762 @default.
- W2103602076 cites W1554619471 @default.
- W2103602076 cites W1980724971 @default.
- W2103602076 cites W1983382657 @default.
- W2103602076 cites W2000922072 @default.
- W2103602076 cites W2007805591 @default.
- W2103602076 cites W2009123512 @default.
- W2103602076 cites W2021058921 @default.
- W2103602076 cites W2027623192 @default.
- W2103602076 cites W2033702592 @default.
- W2103602076 cites W2043676956 @default.
- W2103602076 cites W2072767769 @default.
- W2103602076 cites W2131429285 @default.
- W2103602076 doi "https://doi.org/10.1016/j.fss.2007.09.003" @default.
- W2103602076 hasPublicationYear "2008" @default.
- W2103602076 type Work @default.
- W2103602076 sameAs 2103602076 @default.
- W2103602076 citedByCount "50" @default.
- W2103602076 countsByYear W21036020762012 @default.
- W2103602076 countsByYear W21036020762013 @default.
- W2103602076 countsByYear W21036020762014 @default.
- W2103602076 countsByYear W21036020762015 @default.
- W2103602076 countsByYear W21036020762016 @default.
- W2103602076 countsByYear W21036020762017 @default.
- W2103602076 countsByYear W21036020762018 @default.
- W2103602076 countsByYear W21036020762020 @default.
- W2103602076 countsByYear W21036020762021 @default.
- W2103602076 countsByYear W21036020762022 @default.
- W2103602076 crossrefType "journal-article" @default.
- W2103602076 hasAuthorship W2103602076A5007044346 @default.
- W2103602076 hasAuthorship W2103602076A5012631053 @default.
- W2103602076 hasAuthorship W2103602076A5072347317 @default.
- W2103602076 hasAuthorship W2103602076A5091486233 @default.
- W2103602076 hasConcept C114614502 @default.
- W2103602076 hasConcept C118615104 @default.
- W2103602076 hasConcept C136119220 @default.
- W2103602076 hasConcept C154945302 @default.
- W2103602076 hasConcept C187062830 @default.
- W2103602076 hasConcept C1883856 @default.
- W2103602076 hasConcept C202444582 @default.
- W2103602076 hasConcept C2778067643 @default.
- W2103602076 hasConcept C2781278839 @default.
- W2103602076 hasConcept C33923547 @default.
- W2103602076 hasConcept C41008148 @default.
- W2103602076 hasConcept C42011625 @default.
- W2103602076 hasConcept C58166 @default.
- W2103602076 hasConcept C86602344 @default.
- W2103602076 hasConcept C98224912 @default.
- W2103602076 hasConceptScore W2103602076C114614502 @default.
- W2103602076 hasConceptScore W2103602076C118615104 @default.
- W2103602076 hasConceptScore W2103602076C136119220 @default.
- W2103602076 hasConceptScore W2103602076C154945302 @default.
- W2103602076 hasConceptScore W2103602076C187062830 @default.
- W2103602076 hasConceptScore W2103602076C1883856 @default.
- W2103602076 hasConceptScore W2103602076C202444582 @default.
- W2103602076 hasConceptScore W2103602076C2778067643 @default.
- W2103602076 hasConceptScore W2103602076C2781278839 @default.
- W2103602076 hasConceptScore W2103602076C33923547 @default.
- W2103602076 hasConceptScore W2103602076C41008148 @default.
- W2103602076 hasConceptScore W2103602076C42011625 @default.
- W2103602076 hasConceptScore W2103602076C58166 @default.
- W2103602076 hasConceptScore W2103602076C86602344 @default.
- W2103602076 hasConceptScore W2103602076C98224912 @default.
- W2103602076 hasIssue "9" @default.
- W2103602076 hasLocation W21036020761 @default.
- W2103602076 hasOpenAccess W2103602076 @default.
- W2103602076 hasPrimaryLocation W21036020761 @default.
- W2103602076 hasRelatedWork W169137922 @default.
- W2103602076 hasRelatedWork W1783029874 @default.
- W2103602076 hasRelatedWork W2018957484 @default.
- W2103602076 hasRelatedWork W2019326069 @default.
- W2103602076 hasRelatedWork W2148996300 @default.
- W2103602076 hasRelatedWork W2180026950 @default.
- W2103602076 hasRelatedWork W2235150891 @default.
- W2103602076 hasRelatedWork W2270804440 @default.
- W2103602076 hasRelatedWork W2399851456 @default.
- W2103602076 hasRelatedWork W2401934682 @default.
- W2103602076 hasVolume "159" @default.
- W2103602076 isParatext "false" @default.
- W2103602076 isRetracted "false" @default.
- W2103602076 magId "2103602076" @default.
- W2103602076 workType "article" @default.