A note on standard completeness for some extensions of uninorm logic

DOI10.1007/S00500-014-1265-1zbMath1333.03030OpenAlexW1993481785MaRDI QIDQ894654

Paolo Baldi

Publication date: 2 December 2015

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-014-1265-1

zbMATH Keywords

fuzzy logicstandard completenesshypersequentuninorm logicdensity eliminationknotted axioms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (4)

Densification of FL chains via residuated frames ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Density revisited ⋮ Unnamed Item

Uses Software

• AxiomCalc

Cites Work

• Unnamed Item
• MacNeille completions of FL-algebras
• Uninorm logic with the \(n\)-potency axiom
• Residuated lattices. An algebraic glimpse at substructural logics
• Fuzzy logics based on \([0,1)\)-continuous uninorms
• Density elimination
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Metamathematics of fuzzy logic
• Extending intuitionistic linear logic with knotted structural rules
• Hypersequents, logical consequence and intermediate logics for concurrency
• 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
• Proof theory for fuzzy logics
• Standard Completeness for Extensions of MTL: An Automated Approach
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• A constructive analysis of RM
• Substructural fuzzy logics
• Density Elimination and Rational Completeness for First-Order Logics

This page was built for publication: A note on standard completeness for some extensions of uninorm logic