Pages that link to "Item:Q5607967"
From MaRDI portal
The following pages link to An algebra related with a propositional calculus (Q5607967):
Displaying 50 items.
- On symmetric left bi-derivations in BCI-algebras (Q352544) (← links)
- On independent varieties and some related notions (Q382342) (← links)
- Graph of BCI-algebras (Q417237) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- Intuitionistic \(L\)-fuzzy ideals of BG-algebras. (Q471572) (← links)
- A structure of BCI-algebras (Q472703) (← links)
- Strong ideals and horizontal ideals in pseudo-BCH-algebras (Q501566) (← links)
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056) (← links)
- Fuzzy filter spectrum of a BCK algebra (Q623708) (← links)
- Joins and subdirect products of varieties (Q634765) (← links)
- Monadic pseudo-equality algebras (Q780197) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- On pseudo-BL algebras and BCC-algebras (Q862552) (← links)
- Applications of soft sets in BE-algebras. (Q895933) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Fuzzy dot ideals and fuzzy dot \(H\)-ideals of BCH-algebras (Q933009) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Some kinds of \((\in, \in \vee q)\)-interval-valued fuzzy ideals of BCI-algebras (Q942336) (← links)
- Algorithms and computations for foldedness of P-ideals in BCI-algebras (Q959054) (← links)
- Algorithms and computations for \((m,n)\)-fold \(p\)-ideals in BCI-algebras (Q975874) (← links)
- Wajsberg algebras and Post algebras (Q1317894) (← links)
- Ideal determined varieties need not be congruence 3-permutable (Q1319060) (← links)
- On a property of BCK-identities (Q1327482) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- \(P\)-closure ideals in BCI-algebras (Q1626288) (← links)
- Hyperfuzzy ideals in BCK/BCI-algebras (Q1649078) (← links)
- Blocks and compatibility in \(\mathrm d_0\)-algebras (Q1689291) (← links)
- A note on automorphisms of finite \(B\)-algebras (Q1703442) (← links)
- Convex congruences (Q1746798) (← links)
- Introduction to neutrosophic BCI/BCK-algebras (Q1751360) (← links)
- Some properties of pseudo-BCK- and pseudo-BCI-algebras (Q1794954) (← links)
- Commutative deductive systems of pseudo-BCK-algebras (Q1797788) (← links)
- On topological BCI-algebras (Q1818972) (← links)
- Construction of quotient BCI(BCK)-algebra via a fuzzy ideal (Q1847587) (← links)
- On \(t\)-derivations of BCI-algebras (Q1925449) (← links)
- On \((\alpha, \beta)\)-derivations in BCI-algebras (Q1936012) (← links)
- The ideal entropy of BCI-algebras and its application in the binary linear codes (Q2001115) (← links)
- Monadic pseudo BCI-algebras and corresponding logics (Q2001173) (← links)
- A few notes on quantum \(B\)-algebras (Q2062201) (← links)
- Four new concepts of extensions of KU/UP-algebras (Q2072015) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- On (complete) normality of \(m\)-pF subalgebras in BCK/BCI-algebras (Q2127781) (← links)
- Subalgebras of type \((\alpha, \beta)\) based on \(m\)-polar fuzzy points in BCK/BCI-algebras (Q2132853) (← links)
- Branchwise solid generalized BCH-algebras (Q2132982) (← links)
- Codewords generated by UP-valued functions (Q2133224) (← links)