Implicational (semilinear) logics. III: Completeness properties (Q1745358): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-017-0577-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2739977479
@@ Property / OpenAlex ID: W2739977479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011709
@@ Property / cites work: Q4011709 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-associative generalization of Hájek's BL-algebras
+Normal rank
@@ Property / cites work @@
+Density elimination
@@ Property / cites work: Density elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+A new hierarchy of infinitary logics in abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
+Normal rank
@@ Property / cites work @@
+The Quest for the Basic Fuzzy Logic
@@ Property / cites work: The Quest for the Basic Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / rank @@
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5406037
@@ Property / cites work: Q5406037 / rank @@
+Normal rank
@@ Property / cites work @@
+On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5406035
@@ Property / cites work: Q5406035 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / 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 @@
+Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
+Normal rank