Representation theorems for some fuzzy logics based on residuated non-distributive lattices

DOI10.1016/J.FSS.2007.12.009MaRDI QIDQ835128zbMATH OpenOpenAlexFDO

Authors Anna Maria Radzikowska, Ewa Orłowska

Publication date 28 August 2009

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

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

zbMATH Keywords

substructural logicsresiduated latticesrepresentation theoremsfuzzy logicsmonoidal logics

Mathematics Subject Classification ID

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

Recommendations

• Fuzzy logic algebras on residuated lattices
• The characterizations of fuzzy filters on the non-commutative residuated lattice
• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
• Representation by residuated lattices of non-commutative \(BR_0\)-algebras
• The representation theorem of the lattice \(BR_0\)-algebraic structure

Cites work

• scientific article; zbMATH DE number 1953894 (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 764336 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 5046779 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• A topological representation theory for lattices
• Duality via Truth: Semantic frameworks for lattice-based logics
• Kripke models for linear logic
• Lattice-Based Relation Algebras II
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Relational Methods in Computer Science
• Relational Methods in Computer Science
• Relational Representation Theorems for General Lattices with Negations
• Residuated Lattices
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• THE STRUCTURE OF RESIDUATED LATTICES
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers

Cited in

(3)

• A representation theorem for integral rigs and its applications to residuated lattices.
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
• Duality via truth for some fuzzy modal logic

This page was built for publication: Representation theorems for some fuzzy logics based on residuated non-distributive lattices

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