Abstract | ||
---|---|---|
Starting from a decomposition result of monoidal t-norm-based logic (MTL)-chains as ordinal sums, we focus our attention on a particular kind of indecomposable semihoops, namely weakly cancellative semihoops. The weak cancellation property is proved to be the difference between cancellation and pseudocomplementation, so it gives a new axiomatization of product logic and ΠMTL. By adding this property, some new fuzzy logics (propositional and first-order) are defined and studied obtaining some results about their (finite) strong standard completeness and other logical and algebraic properties. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1093/logcom/exl002 | J. Log. Comput. |
Keywords | Field | DocType |
wcmtl-algebras.,product logic,decomposition result,new fuzzy logic,mtl-algebras,new axiomatization,substructural logics,algebraic logic,va- rieties,weakly cancellative fuzzy logics,non-classical logics,left-continuous t-norms,algebraic property,indecomposable semihoops,standard completeness,residuated lattices,monoidal t-norm-based logic,weak cancellation,fuzzy logics,ordinal sum,weak cancellation property,weakly cancellative semihoops,substructural logic,non classical logic,fuzzy logic | T-norm,T-norm fuzzy logics,Discrete mathematics,Łukasiewicz logic,Algebra,Algebraic logic,Classical logic,Monoidal t-norm logic,Many-valued logic,Mathematics,Intermediate logic | Journal |
Volume | Issue | ISSN |
16 | 4 | 0955-792X |
Citations | PageRank | References |
24 | 1.85 | 19 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Montagna | 1 | 1037 | 96.20 |
Carles Noguera | 2 | 462 | 33.93 |
Rostislav Horčík | 3 | 70 | 6.13 |