NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233): Difference between revisions

Latest revision as of 10:00, 7 July 2024

scientific article; zbMATH DE number 6265962

Language	Label	Description	Also known as
English	NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES	scientific article; zbMATH DE number 6265962

Statements

instance of

scholarly article

0 references

title

NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (English)

0 references

0 references

0 references

0 references

The Review of Symbolic Logic

0 references

publication date

6 March 2014

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Metamathematics of fuzzy logic

0 references

Q4940727

0 references

A characterization of varieties.

0 references

Cut elimination and strong separation for substructural logics: an algebraic approach

0 references

Residuated lattices. An algebraic glimpse at substructural logics

0 references

Equational bases for joins of residuated-lattice varieties

0 references

Hoops and Fuzzy Logic

0 references

Q2871198

0 references

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

0 references

Formal systems of fuzzy logic and their fragments

0 references

Protoalgebraic logics

0 references

Q3934450

0 references

Implicational (semilinear) logics. I: A new hierarchy

0 references

A non-associative generalization of Hájek's BL-algebras

0 references

Algebraizable logics

0 references

Fuzzy logics as the logics of chains

0 references

Q4085699

0 references

Substructural logics: a primer

0 references

Substructural fuzzy logics

0 references

The Mathematics of Sentence Structure

0 references

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

0 references

Linear logic

0 references

Identifiers

zbMATH Open document ID

1335.03023

0 references

DOI

10.1017/S1755020313000099

0 references

Mathematics Subject Classification ID

03B47

0 references

zbMATH DE Number

6265962

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5402233

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of varieties.
@@ Property / cites work: A characterization of varieties. / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Equational bases for joins of residuated-lattice varieties
+Normal rank
@@ Property / cites work @@
+Hoops and Fuzzy Logic
@@ Property / cites work: Hoops and Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871198
@@ Property / cites work: Q2871198 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Formal systems of fuzzy logic and their fragments
@@ Property / cites work: Formal systems of fuzzy logic and their fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+A non-associative generalization of Hájek's BL-algebras
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logics as the logics of chains
@@ Property / cites work: Fuzzy logics as the logics of chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank