Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008): Difference between revisions

Latest revision as of 12:08, 27 June 2024

scientific article; zbMATH DE number 5212131

Language	Label	Description	Also known as
English	Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions	scientific article; zbMATH DE number 5212131

Statements

instance of

scholarly article

0 references

title

Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (English)

0 references

author

Franco Montagna

0 references

published in

Lecture Notes in Computer Science

0 references

publication date

15 November 2007

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-540-75939-3_15

0 references

cites work

Varieties of BL-algebras. I: General properties.

0 references

On the structure of hoops

0 references

Algebraizable logics

0 references

Algebraic foundations of many-valued reasoning

0 references

Q4512929

0 references

Hoops and Fuzzy Logic

0 references

A logic for reasoning about the probability of fuzzy events

0 references

Q4266133

0 references

Metamathematics of fuzzy logic

0 references

Fuzzy logic and arithmetical hierarchy

0 references

Fuzzy logic and arithmetical hierarchy. II

0 references

Fuzzy logic and arithmetical hierarchy. III

0 references

Arithmetical complexity of fuzzy predicate logics -- a survey

0 references

Triangular norms

0 references

Representation and extension of states on MV-algebras

0 references

Three complexity problems in quantified fuzzy logic

0 references

Storage Operators and Multiplicative Quantifiers in Many-valued Logics

0 references

Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus

0 references

Averaging the truth-value in Łukasiewicz logic

0 references

Bookmaking over infinite-valued events

0 references

Q3663260

0 references

Identifiers

zbMATH Open document ID

1123.03012

0 references

DOI

10.1007/978-3-540-75939-3_15

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5426008

@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4512929
@@ Property / cites work: Q4512929 / rank @@
+Normal rank
@@ Property / cites work @@
+Hoops and Fuzzy Logic
@@ Property / cites work: Hoops and Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about the probability of fuzzy events
+Normal rank
@@ Property / cites work @@
+Q4266133
@@ Property / cites work: Q4266133 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy. II
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy. II / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic and arithmetical hierarchy. III
@@ Property / cites work: Fuzzy logic and arithmetical hierarchy. III / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical complexity of fuzzy predicate logics -- a survey
+Normal rank
@@ Property / cites work @@
+Triangular norms
@@ Property / cites work: Triangular norms / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and extension of states on MV-algebras
+Normal rank
@@ Property / cites work @@
+Three complexity problems in quantified fuzzy logic
+Normal rank
@@ Property / cites work @@
+Storage Operators and Multiplicative Quantifiers in Many-valued Logics
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Averaging the truth-value in Łukasiewicz logic
@@ Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bookmaking over infinite-valued events
@@ Property / cites work: Bookmaking over infinite-valued events / rank @@
+Normal rank
@@ Property / cites work @@
+Q3663260
@@ Property / cites work: Q3663260 / rank @@
+Normal rank