A note on standard completeness for some extensions of uninorm logic

DOI10.1007/S00500-014-1265-1MaRDI QIDQ894654zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A proof of the standard completeness for the involutive uninorm logic
• Uninorm logic with the \(n\)-potency axiom
• On standard completeness for non-commutative many-valued logics
• Uniform proofs of standard completeness for extensions of first-order MTL
• Involutive uninorm logic with the \(n\)-potency axiom

Cites work

• scientific article; zbMATH DE number 6276269 (Why is no real title available?)
• A constructive analysis of RM
• A proof of standard completeness for Esteva and Godo's logic MTL
• Density Elimination and Rational Completeness for First-Order Logics
• Density elimination
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Extending intuitionistic linear logic with knotted structural rules
• Fuzzy logics based on \([0,1)\)-continuous uninorms
• Hypersequents, logical consequence and intermediate logics for concurrency
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• MacNeille completions of FL-algebras
• Metamathematics of fuzzy logic
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Proof theory for fuzzy logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard completeness for extensions of MTL: an automated approach
• Substructural fuzzy logics
• Uninorm logic with the \(n\)-potency axiom

Cited in

(10)

• The logic of pseudo-uninorms and their residua
• Density revisited
• Densification of FL chains via residuated frames
• Uninorm logic with the \(n\)-potency axiom
• scientific article; zbMATH DE number 6290329 (Why is no real title available?)
• Uniform proofs of standard completeness for extensions of first-order MTL
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• A proof of the standard completeness for the involutive uninorm logic
• A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
• scientific article; zbMATH DE number 7547163 (Why is no real title available?)

Describes a project that uses

Uses Software

• AxiomCalc

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

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