Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949819063> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2949819063 abstract "The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product $t$-norm based many-valued logics, in the sense of [EG01]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called ${rm S}_{3}{rm MTL}$ in [NOG06]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the $Delta$ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras." @default.
- W2949819063 created "2019-06-27" @default.
- W2949819063 creator A5011161376 @default.
- W2949819063 creator A5029914941 @default.
- W2949819063 creator A5056405102 @default.
- W2949819063 date "2014-06-27" @default.
- W2949819063 modified "2023-09-23" @default.
- W2949819063 title "A note on drastic product logic" @default.
- W2949819063 cites W1965097424 @default.
- W2949819063 cites W1983382657 @default.
- W2949819063 cites W1993907347 @default.
- W2949819063 cites W2018957484 @default.
- W2949819063 cites W2026688822 @default.
- W2949819063 cites W2063261065 @default.
- W2949819063 cites W2079799116 @default.
- W2949819063 cites W2119353490 @default.
- W2949819063 hasPublicationYear "2014" @default.
- W2949819063 type Work @default.
- W2949819063 sameAs 2949819063 @default.
- W2949819063 citedByCount "0" @default.
- W2949819063 crossrefType "posted-content" @default.
- W2949819063 hasAuthorship W2949819063A5011161376 @default.
- W2949819063 hasAuthorship W2949819063A5029914941 @default.
- W2949819063 hasAuthorship W2949819063A5056405102 @default.
- W2949819063 hasConcept C102993220 @default.
- W2949819063 hasConcept C118615104 @default.
- W2949819063 hasConcept C134306372 @default.
- W2949819063 hasConcept C136119220 @default.
- W2949819063 hasConcept C144760519 @default.
- W2949819063 hasConcept C17744445 @default.
- W2949819063 hasConcept C191795146 @default.
- W2949819063 hasConcept C199539241 @default.
- W2949819063 hasConcept C202444582 @default.
- W2949819063 hasConcept C206321295 @default.
- W2949819063 hasConcept C2524010 @default.
- W2949819063 hasConcept C2779729104 @default.
- W2949819063 hasConcept C33203268 @default.
- W2949819063 hasConcept C33923547 @default.
- W2949819063 hasConcept C41008148 @default.
- W2949819063 hasConcept C80444323 @default.
- W2949819063 hasConcept C90673727 @default.
- W2949819063 hasConcept C9376300 @default.
- W2949819063 hasConceptScore W2949819063C102993220 @default.
- W2949819063 hasConceptScore W2949819063C118615104 @default.
- W2949819063 hasConceptScore W2949819063C134306372 @default.
- W2949819063 hasConceptScore W2949819063C136119220 @default.
- W2949819063 hasConceptScore W2949819063C144760519 @default.
- W2949819063 hasConceptScore W2949819063C17744445 @default.
- W2949819063 hasConceptScore W2949819063C191795146 @default.
- W2949819063 hasConceptScore W2949819063C199539241 @default.
- W2949819063 hasConceptScore W2949819063C202444582 @default.
- W2949819063 hasConceptScore W2949819063C206321295 @default.
- W2949819063 hasConceptScore W2949819063C2524010 @default.
- W2949819063 hasConceptScore W2949819063C2779729104 @default.
- W2949819063 hasConceptScore W2949819063C33203268 @default.
- W2949819063 hasConceptScore W2949819063C33923547 @default.
- W2949819063 hasConceptScore W2949819063C41008148 @default.
- W2949819063 hasConceptScore W2949819063C80444323 @default.
- W2949819063 hasConceptScore W2949819063C90673727 @default.
- W2949819063 hasConceptScore W2949819063C9376300 @default.
- W2949819063 hasLocation W29498190631 @default.
- W2949819063 hasOpenAccess W2949819063 @default.
- W2949819063 hasPrimaryLocation W29498190631 @default.
- W2949819063 hasRelatedWork W1480389067 @default.
- W2949819063 hasRelatedWork W15134229 @default.
- W2949819063 hasRelatedWork W157375909 @default.
- W2949819063 hasRelatedWork W1595412854 @default.
- W2949819063 hasRelatedWork W1980065834 @default.
- W2949819063 hasRelatedWork W2019860072 @default.
- W2949819063 hasRelatedWork W2038932611 @default.
- W2949819063 hasRelatedWork W2071118378 @default.
- W2949819063 hasRelatedWork W2086439708 @default.
- W2949819063 hasRelatedWork W2114849031 @default.
- W2949819063 hasRelatedWork W2121215239 @default.
- W2949819063 hasRelatedWork W2127907968 @default.
- W2949819063 hasRelatedWork W2286419476 @default.
- W2949819063 hasRelatedWork W2405321979 @default.
- W2949819063 hasRelatedWork W2483288391 @default.
- W2949819063 hasRelatedWork W2527933024 @default.
- W2949819063 hasRelatedWork W2791874651 @default.
- W2949819063 hasRelatedWork W3106321783 @default.
- W2949819063 hasRelatedWork W3138684711 @default.
- W2949819063 hasRelatedWork W60865104 @default.
- W2949819063 isParatext "false" @default.
- W2949819063 isRetracted "false" @default.
- W2949819063 magId "2949819063" @default.
- W2949819063 workType "article" @default.