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

DOI10.1016/J.FSS.2007.12.009zbMATH Open1178.03036OpenAlexW2020905831MaRDI QIDQ835128FDOQ835128

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

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

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)

Cites Work

• A topological representation theory for lattices
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Kripke models for linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematics behind fuzzy logic
• THE STRUCTURE OF RESIDUATED LATTICES
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated Lattices
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational Representation Theorems for General Lattices with Negations
• Duality via Truth: Semantic frameworks for lattice-based logics
• Title not available (Why is that?)
• Lattice-Based Relation Algebras II
• Relational Methods in Computer Science
• Relational Methods in Computer Science

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)