A note on standard completeness for some extensions of uninorm logic
From MaRDI portal
Publication:894654
DOI10.1007/S00500-014-1265-1zbMATH Open1333.03030OpenAlexW1993481785MaRDI QIDQ894654FDOQ894654
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
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
- Standard completeness for extensions of MTL: an automated approach
- Metamathematics of fuzzy logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- 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
- Title not available (Why is that?)
- Substructural fuzzy logics
- Density Elimination and Rational Completeness for First-Order Logics
- MacNeille completions of FL-algebras
- Uninorm logic with the \(n\)-potency axiom
- Residuated lattices. An algebraic glimpse at substructural logics
- Density elimination
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Extending intuitionistic linear logic with knotted structural rules
- Hypersequents, logical consequence and intermediate logics for concurrency
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- A constructive analysis of RM
Cited In (10)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
- Title not available (Why is that?)
- Densification of FL chains via residuated frames
- Density revisited
- Uninorm logic with the \(n\)-potency axiom
- The logic of pseudo-uninorms and their residua
- 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
- Title not available (Why is that?)
Uses Software
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)
