The standard completeness of interval-valued monoidal t-norm based logic (Q454982): Difference between revisions

This paper studies strong standard completeness of interval-valued monoidal t-norm-based logic (IVMTL) and its axiomatic extensions. Important results analogous to well-known completeness results of MTL and its axiomatic extensions are obtained. For example, IVMTL is strong standard complete, but IV\(\L\) is not. Similar results are proved for IVMTL expanded by Baaz Delta. Local deduction theorem for extensions of IVML (interval-valued monoidal logic) is also proved.

0 references

zbMATH Keywords

interval-valued structures

0 references

many-valued logic

0 references

residuated lattices

0 references

reviewed by

Antonín Dvořák

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4893133

0 references

Algebraic Analysis of Many Valued Logics

0 references

A New Proof of the Completeness of the Lukasiewicz Axioms

0 references

Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

0 references

Advances and challenges in interval-valued fuzzy logic

0 references

CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE

0 references

Residuated Lattices

0 references

A propositional calculus with denumerable matrix

0 references

ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION

0 references

Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results

0 references

Monoidal t-norm based logic: Towards a logic for left-continuous t-norms

0 references

Q4450449

0 references

Beyond Rasiowa's algebraic approach to non-classical logics

0 references

Q3222191

0 references

Some comments on interval valued fuzzy sets

0 references

Mathematical fuzzy logic as a tool for the treatment of vague information

0 references

Metamathematics of fuzzy logic

0 references

Q4836218

0 references

Standard completeness theorem for \(\Pi\)MTL

0 references

On the failure of standard completeness in \(\Pi\)MTL for infinite theories

0 references

A proof of standard completeness for Esteva and Godo's logic MTL

0 references

Q2715695

0 references

Advances in type-2 fuzzy sets and systems

0 references

Proof theory for fuzzy logics

0 references

On Weakly Cancellative Fuzzy Logics

0 references

An algebraic approach to non-classical logics

0 references

Q5734410

0 references

ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS

0 references

Triangle algebras: A formal logic approach to interval-valued residuated lattices

0 references

A characterization of interval-valued residuated lattices

0 references

The pseudo-linear semantics of interval-valued fuzzy logics

0 references

The concept of a linguistic variable and its application to approximate reasoning. I

0 references

A note on \(Z\)-numbers

0 references

Identifiers

zbMATH Open document ID

1258.03030

0 references

DOI

10.1016/j.ins.2011.11.043

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:454982

@@ Property / author @@
-Bart Van Gasse
@@ Property / author: Bart Van Gasse / rank @@
-Normal rank
@@ Property / author @@
+Bart Van Gasse
@@ Property / author: Bart Van Gasse / rank @@
+Normal rank
@@ Property / review text @@
+This paper studies strong standard completeness of interval-valued monoidal t-norm-based logic (IVMTL) and its axiomatic extensions. Important results analogous to well-known completeness results of MTL and its axiomatic extensions are obtained. For example, IVMTL is strong standard complete, but IV\(\L\) is not. Similar results are proved for IVMTL expanded by Baaz Delta. Local deduction theorem for extensions of IVML (interval-valued monoidal logic) is also proved.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B52
@@ Property / Mathematics Subject Classification ID: 03B52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6089786
@@ Property / zbMATH DE Number: 6089786 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval-valued structures
@@ Property / zbMATH Keywords: interval-valued structures / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+many-valued logic
@@ Property / zbMATH Keywords: many-valued logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+residuated lattices
@@ Property / zbMATH Keywords: residuated lattices / rank @@
+Normal rank
@@ Property / reviewed by @@
+Antonín Dvořák
@@ Property / reviewed by: Antonín Dvořák / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2097933136
@@ Property / OpenAlex ID: W2097933136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Advances and challenges in interval-valued fuzzy logic
+Normal rank
@@ Property / cites work @@
+CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE
+Normal rank
@@ Property / cites work @@
+Residuated Lattices
@@ Property / cites work: Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q4450449
@@ Property / cites work: Q4450449 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Rasiowa's algebraic approach to non-classical logics
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+Some comments on interval valued fuzzy sets
@@ Property / cites work: Some comments on interval valued fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical fuzzy logic as a tool for the treatment of vague information
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard completeness theorem for \(\Pi\)MTL
@@ Property / cites work: Standard completeness theorem for \(\Pi\)MTL / rank @@
+Normal rank
@@ Property / cites work @@
+On the failure of standard completeness in \(\Pi\)MTL for infinite theories
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Q2715695
@@ Property / cites work: Q2715695 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in type-2 fuzzy sets and systems
@@ Property / cites work: Advances in type-2 fuzzy sets and systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+On Weakly Cancellative Fuzzy Logics
@@ Property / cites work: On Weakly Cancellative Fuzzy Logics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS
+Normal rank
@@ Property / cites work @@
+Triangle algebras: A formal logic approach to interval-valued residuated lattices
+Normal rank
@@ Property / cites work @@
+A characterization of interval-valued residuated lattices
+Normal rank
@@ Property / cites work @@
+The pseudo-linear semantics of interval-valued fuzzy logics
+Normal rank
@@ Property / cites work @@
+The concept of a linguistic variable and its application to approximate reasoning. I
+Normal rank
@@ Property / cites work @@
+A note on \(Z\)-numbers
@@ Property / cites work: A note on \(Z\)-numbers / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:454982