Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153202364> ?p ?o ?g. }
- W2153202364 endingPage "389" @default.
- W2153202364 startingPage "369" @default.
- W2153202364 abstract "Extensions of monoidal t -norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in the framework of residuated lattices and proof-theoretically as hypersequent calculi. Completeness with respect to standard algebras based on t -norms, embeddings between logics, decidability, and the finite embedding property are then investigated for these logics." @default.
- W2153202364 created "2016-06-24" @default.
- W2153202364 creator A5036404155 @default.
- W2153202364 creator A5038446877 @default.
- W2153202364 creator A5086733054 @default.
- W2153202364 date "2010-02-01" @default.
- W2153202364 modified "2023-09-24" @default.
- W2153202364 title "Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions" @default.
- W2153202364 cites W1511669762 @default.
- W2153202364 cites W1519624158 @default.
- W2153202364 cites W1602192439 @default.
- W2153202364 cites W179611734 @default.
- W2153202364 cites W1983382657 @default.
- W2153202364 cites W1990470938 @default.
- W2153202364 cites W1994285343 @default.
- W2153202364 cites W2089512798 @default.
- W2153202364 cites W2090670604 @default.
- W2153202364 cites W2112664318 @default.
- W2153202364 cites W2160771441 @default.
- W2153202364 cites W2188802573 @default.
- W2153202364 cites W2911865844 @default.
- W2153202364 cites W4250746159 @default.
- W2153202364 doi "https://doi.org/10.1016/j.fss.2009.09.001" @default.
- W2153202364 hasPublicationYear "2010" @default.
- W2153202364 type Work @default.
- W2153202364 sameAs 2153202364 @default.
- W2153202364 citedByCount "40" @default.
- W2153202364 countsByYear W21532023642012 @default.
- W2153202364 countsByYear W21532023642013 @default.
- W2153202364 countsByYear W21532023642014 @default.
- W2153202364 countsByYear W21532023642015 @default.
- W2153202364 countsByYear W21532023642016 @default.
- W2153202364 countsByYear W21532023642017 @default.
- W2153202364 countsByYear W21532023642018 @default.
- W2153202364 countsByYear W21532023642019 @default.
- W2153202364 countsByYear W21532023642020 @default.
- W2153202364 countsByYear W21532023642021 @default.
- W2153202364 countsByYear W21532023642022 @default.
- W2153202364 countsByYear W21532023642023 @default.
- W2153202364 crossrefType "journal-article" @default.
- W2153202364 hasAuthorship W2153202364A5036404155 @default.
- W2153202364 hasAuthorship W2153202364A5038446877 @default.
- W2153202364 hasAuthorship W2153202364A5086733054 @default.
- W2153202364 hasBestOaLocation W21532023642 @default.
- W2153202364 hasConcept C111472728 @default.
- W2153202364 hasConcept C118615104 @default.
- W2153202364 hasConcept C134306372 @default.
- W2153202364 hasConcept C136119220 @default.
- W2153202364 hasConcept C138885662 @default.
- W2153202364 hasConcept C153269930 @default.
- W2153202364 hasConcept C154945302 @default.
- W2153202364 hasConcept C17231256 @default.
- W2153202364 hasConcept C1883856 @default.
- W2153202364 hasConcept C191795146 @default.
- W2153202364 hasConcept C199343813 @default.
- W2153202364 hasConcept C202444582 @default.
- W2153202364 hasConcept C2777686260 @default.
- W2153202364 hasConcept C33923547 @default.
- W2153202364 hasConcept C41008148 @default.
- W2153202364 hasConcept C41608201 @default.
- W2153202364 hasConcept C42011625 @default.
- W2153202364 hasConcept C58166 @default.
- W2153202364 hasConcept C71924100 @default.
- W2153202364 hasConcept C86602344 @default.
- W2153202364 hasConcept C9376300 @default.
- W2153202364 hasConcept C98224912 @default.
- W2153202364 hasConceptScore W2153202364C111472728 @default.
- W2153202364 hasConceptScore W2153202364C118615104 @default.
- W2153202364 hasConceptScore W2153202364C134306372 @default.
- W2153202364 hasConceptScore W2153202364C136119220 @default.
- W2153202364 hasConceptScore W2153202364C138885662 @default.
- W2153202364 hasConceptScore W2153202364C153269930 @default.
- W2153202364 hasConceptScore W2153202364C154945302 @default.
- W2153202364 hasConceptScore W2153202364C17231256 @default.
- W2153202364 hasConceptScore W2153202364C1883856 @default.
- W2153202364 hasConceptScore W2153202364C191795146 @default.
- W2153202364 hasConceptScore W2153202364C199343813 @default.
- W2153202364 hasConceptScore W2153202364C202444582 @default.
- W2153202364 hasConceptScore W2153202364C2777686260 @default.
- W2153202364 hasConceptScore W2153202364C33923547 @default.
- W2153202364 hasConceptScore W2153202364C41008148 @default.
- W2153202364 hasConceptScore W2153202364C41608201 @default.
- W2153202364 hasConceptScore W2153202364C42011625 @default.
- W2153202364 hasConceptScore W2153202364C58166 @default.
- W2153202364 hasConceptScore W2153202364C71924100 @default.
- W2153202364 hasConceptScore W2153202364C86602344 @default.
- W2153202364 hasConceptScore W2153202364C9376300 @default.
- W2153202364 hasConceptScore W2153202364C98224912 @default.
- W2153202364 hasIssue "3" @default.
- W2153202364 hasLocation W21532023641 @default.
- W2153202364 hasLocation W21532023642 @default.
- W2153202364 hasOpenAccess W2153202364 @default.
- W2153202364 hasPrimaryLocation W21532023641 @default.
- W2153202364 hasRelatedWork W119971517 @default.
- W2153202364 hasRelatedWork W1964120858 @default.
- W2153202364 hasRelatedWork W202251575 @default.
- W2153202364 hasRelatedWork W2095952582 @default.
- W2153202364 hasRelatedWork W2153202364 @default.