Fuzzy logics from substructural perspective
From MaRDI portal
Publication:2270232
DOI10.1016/j.fss.2009.09.005zbMath1188.03017OpenAlexW2019804655MaRDI 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
substructural logicsfinite model propertyresiduated latticesinterpolation propertybasic fuzzy logicmonoidal t-norm
Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (8)
Residuated expansions of lattice-ordered structures ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Nuclei and conuclei on residuated lattices ⋮ Fuzzy sets and formal logics ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ Completion and finite embeddability property for residuated ordered algebras. ⋮ Archimedean classes in integral commutative residuated chains ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Fuzzy logics from substructural perspective