English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm based logic (MTL) with rational constant symbols. In this paper we propose a new approach towards the problem of defining strongly standard complete for logics with rational constants in a simpler way. We present a method to obtain a Hilbert-Style axiomatization of the logic associated to an arbitrary standard MTL-algebra expanded with additional connectives whose interpretations on [0, 1] are functions with no jump-type discontinuities.Authors are grateful to anonymous reviewers and acknowledge partial support of the Mineco project TIN2012-39348-C02-01.Peer Reviewe

On Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions.