On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2003047929
@@ Property / OpenAlex ID: W2003047929 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2494
@@ Property / arXiv ID: 1312.2494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039742
@@ Property / cites work: Q4039742 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of $\mathrm{BCI, BCK}$-algebras
@@ Property / cites work: Characterizations of $\mathrm{BCI, BCK}$-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of commutative residuated integral pomonoids and their residuation subreducts
+Normal rank
@@ Property / cites work @@
+Lukasiewicz-Moisil algebras
@@ Property / cites work: Lukasiewicz-Moisil algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / 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 @@
+Q3887461
@@ Property / cites work: Q3887461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960852
@@ Property / cites work: Q3960852 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804772
@@ Property / cites work: Q4804772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804773
@@ Property / cites work: Q4804773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3765774
@@ Property / cites work: Q3765774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258334
@@ Property / cites work: Q4258334 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Hoops and Fuzzy Logic
@@ Property / cites work: Hoops and Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-t-norms and pseudo-BL algebras
@@ Property / cites work: Pseudo-t-norms and pseudo-BL algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Contrapositive symmetry of fuzzy implications
@@ Property / cites work: Contrapositive symmetry of fuzzy implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3726107
@@ Property / cites work: Q3726107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135091
@@ Property / cites work: Q3135091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3887458
@@ Property / cites work: Q3887458 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+Q3218120
@@ Property / cites work: Q3218120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218122
@@ Property / cites work: Q3218122 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiom systems of propositional calculi, XIV
@@ Property / cites work: On axiom systems of propositional calculi, XIV / rank @@
+Normal rank
@@ Property / cites work @@
+Iséki algebras. Connection with BL algebras
@@ Property / cites work: Iséki algebras. Connection with BL algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4462734
@@ Property / cites work: Q4462734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518411
@@ Property / cites work: Q3518411 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebra related with a propositional calculus
@@ Property / cites work: An algebra related with a propositional calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159369
@@ Property / cites work: Q4159369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140985
@@ Property / cites work: Q4140985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3879232
@@ Property / cites work: Q3879232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864520
@@ Property / cites work: Q3864520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874198
@@ Property / cites work: Q3874198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165379
@@ Property / cites work: Q4165379 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Triangular norms
@@ Property / cites work: Triangular norms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5476121
@@ Property / cites work: Q5476121 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532885
@@ Property / cites work: Q4532885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650376
@@ Property / cites work: Q5650376 / rank @@
+Normal rank
@@ Property / cites work @@
+Les algèbres de Heyting et de Lukasiewicz trivalentes
+Normal rank
@@ Property / cites work @@
+Q3770539
@@ Property / cites work: Q3770539 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
+Normal rank
@@ Property / cites work @@
+On equivalent forms of fuzzy logic systems NM and IMTL
+Normal rank
@@ Property / cites work @@
+Q5737076
@@ Property / cites work: Q5737076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893929
@@ Property / cites work: Q3893929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855183
@@ Property / cites work: Q3855183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506244
@@ Property / cites work: Q4506244 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics behind fuzzy logic
@@ Property / cites work: Mathematics behind fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the lattice of varieties of residuation algebras
+Normal rank
@@ Property / cites work @@
+Residuated Lattices
@@ Property / cites work: Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A formal deductive system for fuzzy propositional calculus
+Normal rank
@@ Property / cites work @@
+Q3686712
@@ Property / cites work: Q3686712 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:931448