Densification of FL chains via residuated frames

DOI10.1007/s00012-016-0372-5zbMath1469.03068OpenAlexW2273577765WikidataQ55670543 ScholiaQ55670543MaRDI QIDQ271692

Paolo Baldi, Kazushige Terui

Publication date: 7 April 2016

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-016-0372-5

zbMATH Keywords

fuzzy logicsubstructural logicGentzen systemsresiduated framesresiduated latticesstandard completeness

Mathematics Subject Classification ID

Lattices of varieties (08B15) Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (5)

Density revisited ⋮ Densification via polynomials, languages, and frames ⋮ The logic of pseudo-uninorms and their residua ⋮ A proof of the standard completeness for the involutive uninorm logic ⋮ Theorems of Alternatives for Substructural Logics

Uses Software

• AxiomCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic proof theory for substructural logics: cut-elimination and completions
• MacNeille completions of FL-algebras
• Uninorm logic with the \(n\)-potency axiom
• Algebraic proof theory: hypersequents and hypercompletions
• Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
• Residuated lattices. An algebraic glimpse at substructural logics
• A note on standard completeness for some extensions of uninorm logic
• Density elimination
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Standard completeness theorem for \(\Pi\)MTL
• Densification via polynomials, languages, and frames
• Proof theory for fuzzy logics
• Standard Completeness for Extensions of MTL: An Automated Approach
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• HpsUL is not the logic of pseudo-uninorms and their residua
• On Weakly Cancellative Fuzzy Logics
• Residuated frames with applications to decidability
• On n ‐contractive fuzzy logics
• Substructural fuzzy logics
• Density Elimination and Rational Completeness for First-Order Logics

This page was built for publication: Densification of FL chains via residuated frames