Fuzzy logics from substructural perspective

DOI10.1016/J.FSS.2009.09.005MaRDI QIDQ2270232zbMATH OpenOpenAlexFDO

Authors Tomasz Kowalski, Hiroakira Ono

Publication date 18 March 2010

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2009.09.005

zbMATH Keywords

substructural logicsresiduated latticesinterpolation propertyfinite model propertybasic fuzzy logicmonoidal t-norm

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Logics without the contraction rule and residuated lattices
• On the algebraic structure of linear, relevance, and fuzzy logics
• A way to interpret Łukasiewicz logic and basic logic
• Metamathematics of fuzzy logic
• Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics
• Mathematics behind fuzzy logic
• scientific article; zbMATH DE number 4004158
• Shaping the logic of fuzzy set theory
• scientific article; zbMATH DE number 1293548
• scientific article; zbMATH DE number 1790413

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 475196 (Why is no real title available?)
• scientific article; zbMATH DE number 2042619 (Why is no real title available?)
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• scientific article; zbMATH DE number 1526147 (Why is no real title available?)
• scientific article; zbMATH DE number 1361537 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• scientific article; zbMATH DE number 5235523 (Why is no real title available?)
• Algebraic aspects of cut elimination
• Algebraic characterizations of variable separation properties
• Algebraic foundations of many-valued reasoning
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• An algebraic approach to the disjunction property of substructural logics
• Basic hoops: an algebraic study of continuous t-norms
• Glivenko theorems for substructural logics over FL
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Logics without Craig's interpolation property
• Logics without the contraction rule
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the structure of hoops
• On variable separation in modal and superintuitionistic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Super-Łukasiewicz propositional logics
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic
• The variety of residuated lattices is generated by its finite simple members

Cited in

(12)

• scientific article; zbMATH DE number 1975400 (Why is no real title available?)
• Residuated expansions of lattice-ordered structures
• The quest for the basic fuzzy logic
• The semiring-theoretic approach to MV-algebras: a survey
• Nuclei and conuclei on residuated lattices
• Archimedean classes in integral commutative residuated chains
• Conservative expansions of substructural logics
• Completion and finite embeddability property for residuated ordered algebras.
• On residuation in multilattices: filters, congruences, and homomorphisms.
• Substructural fuzzy-relevance logic
• Fuzzy sets and formal logics
• Cut elimination and strong separation for substructural logics: an algebraic approach

This page was built for publication: Fuzzy logics from substructural perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2270232)