A note on standard completeness for some extensions of uninorm logic
type: Item
instance of: scholarly article
title: A note on standard completeness for some extensions of uninorm logic
zbMATH Open document ID: 1333.03030
author: Paolo Baldi
published in: Soft Computing
publication date: 2015-12-02T00:00:00Z
review text: In this article, the author analyzes uninorm logic UL extended with so called knotted axioms, which were introduced by \textit{R. Hori} et al. [Notre Dame J. Formal Logic 35, No. 2, 219--242 (1994; Zbl 0812.03008)]. Firstly, in Section 2, ``a Gentzen-style calculus for any axiomatic extension of UL with knotted axioms'' is shown. Next, in Section 3, the density elimination is discussed. The proof of the main result of this section, i.e., Theorem 1, is based on ideas presented by \textit{A. Ciabattoni} and \textit{G. Metcalfe} [Theor. Comput. Sci. 403, No. 2--3, 328--346 (2008; Zbl 1206.03027)]. The main result of this article, standard completeness for uninorm logic extended with knotted axioms, is obtained in Theorem 3.
reviewed by: Michał Baczyński
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 6515290
zbMATH Keywords: hypersequent
zbMATH Keywords: density elimination
zbMATH Keywords: standard completeness
zbMATH Keywords: fuzzy logic
zbMATH Keywords: knotted axioms
zbMATH Keywords: uninorm logic
describes a project that uses: AxiomCalc
MaRDI profile type: Publication
full work available at URL: s00500-014-1265-1
OpenAlex ID: W1993481785
cites work: A constructive analysis of RM
cites work: Hypersequents, logical consequence and intermediate logics for concurrency
cites work: Standard Completeness for Extensions of MTL: An Automated Approach
cites work: Density elimination
cites work: MacNeille completions of FL-algebras
cites work: Density Elimination and Rational Completeness for First-Order Logics
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
cites work: Fuzzy logics based on \([0,1)\)-continuous uninorms
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Metamathematics of fuzzy logic
cites work: Q5406035
cites work: Extending intuitionistic linear logic with knotted structural rules
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Uninorm logic with the \(n\)-potency axiom
cites work: Substructural fuzzy logics
cites work: Proof theory for fuzzy logics
cites work: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
DOI: 10.1007/S00500-014-1265-1
description: scientific article; zbMATH DE number 6515290