On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B22
@@ Property / Mathematics Subject Classification ID: 03B22 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B52
@@ Property / Mathematics Subject Classification ID: 03B52 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6029804
@@ Property / zbMATH DE Number: 6029804 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fuzzy logic
@@ Property / zbMATH Keywords: fuzzy logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weakly implicative logic
@@ Property / zbMATH Keywords: weakly implicative logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+BCI system
@@ Property / zbMATH Keywords: BCI system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+FBCI system
@@ Property / zbMATH Keywords: FBCI system / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59306553
@@ Property / Wikidata QID: Q59306553 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-011-0265-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1973063351
@@ Property / OpenAlex ID: W1973063351 / 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 @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+The implicational fragment of Dummett's LC
@@ Property / cites work: The implicational fragment of Dummett's LC / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+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 @@
+Linearization of the BCK-logic
@@ Property / cites work: Linearization of the BCK-logic / 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 @@
+Solutions to Cintula's open problems
@@ Property / cites work: Solutions to Cintula's open problems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:412072