Fuzzy logics from substructural perspective

DOI10.1016/j.fss.2009.09.005zbMath1188.03017MaRDI QIDQ2270232

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 logics; finite model property; residuated lattices; interpolation property; basic fuzzy logic; monoidal t-norm

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

Nuclei and conuclei on residuated lattices, Cut elimination and strong separation for substructural logics: an algebraic approach, Completion and finite embeddability property for residuated ordered algebras., Fuzzy sets and formal logics, The semiring-theoretic approach to MV-algebras: a survey, On residuation in multilattices: filters, congruences, and homomorphisms., Residuated expansions of lattice-ordered structures, Archimedean classes in integral commutative residuated chains

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• Logics without Craig's interpolation property
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Algebraic aspects of cut elimination
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• On variable separation in modal and superintuitionistic logics
• An algebraic approach to the disjunction property of substructural logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Basic hoops: an algebraic study of continuous t-norms
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Glivenko theorems for substructural logics over FL
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Logics without the contraction rule
• Super-Łukasiewicz propositional logics
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item