Uniform proofs of standard completeness for extensions of first-order MTL
type: Item
instance of: scholarly article
title: Uniform proofs of standard completeness for extensions of first-order MTL
zbMATH Open document ID: 1331.03025
author: Paolo Baldi
author: Agata Ciabattoni
published in: Theoretical Computer Science
publication date: 2015-10-12T00:00:00Z
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 6493330
zbMATH Keywords: standard completeness
zbMATH Keywords: hypersequents
zbMATH Keywords: fuzzy logic
zbMATH Keywords: density elimination
Wikidata QID: Q113863216
describes a project that uses: AxiomCalc
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.07.014
OpenAlex ID: W882070095
cites work: Hypersequents, logical consequence and intermediate logics for concurrency
cites work: A constructive analysis of RM
cites work: Q2753673
cites work: Standard Completeness for Extensions of MTL: An Automated Approach
cites work: Q3934450
cites work: Algebraic proof theory for substructural logics: cut-elimination and completions
cites work: MacNeille completions of FL-algebras
cites work: Expanding the Realm of Systematic Proof Theory
cites work: Density Elimination and Rational Completeness for First-Order Logics
cites work: Density elimination
cites work: Q4825702
cites work: Q5406033
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: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: A proof of standard completeness for Esteva and Godo's logic MTL
cites work: Metamathematics of fuzzy logic
cites work: Alternative proof of standard completeness theorem for MTL
cites work: Standard completeness theorem for \(\Pi\)MTL
cites work: On n ‐contractive fuzzy logics
cites work: Substructural fuzzy logics
cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
cites work: On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
cites work: Logics without the contraction rule
cites work: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
DOI: 10.1016/J.TCS.2015.07.014
Recommended article: Standard Completeness for Extensions of MTL: An Automated Approach
Recommended article: A proof of standard completeness for Esteva and Godo's logic MTL
Recommended article: Alternative proof of standard completeness theorem for MTL
Recommended article: A note on standard completeness for some extensions of uninorm logic
Recommended article: Standard completeness theorem for \(\Pi\)MTL
Recommended article: A proof of the standard completeness for the involutive uninorm logic
Recommended article: Q5858677
Recommended article: Some Turing-Complete Extensions of First-Order Logic
Recommended article: Q5443925
Recommended article: Completeness theorems for first-order logic analysed in constructive type theory
description: scientific article; zbMATH DE number 6493330