Pages that link to "Item:Q5607967"
From MaRDI portal
The following pages link to An algebra related with a propositional calculus (Q5607967):
Displayed 38 items.
- 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)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- On pseudo-BL algebras and BCC-algebras (Q862552) (← 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)
- On topological BCI-algebras (Q1818972) (← links)
- Construction of quotient BCI(BCK)-algebra via a fuzzy ideal (Q1847587) (← links)
- Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices (Q2380339) (← links)
- On very true operators on pocrims (Q2391233) (← links)
- BCI-implicative ideals of BCI-algebras (Q2456469) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- On hyper BCC-algebras (Q2469016) (← links)
- Smarandache BL-algebra (Q2638189) (← links)
- (Q2702797) (← links)
- Ideals and atoms of BZ-algebras (Q3391504) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Varieties generated by finite BCK-algebras (Q3880895) (← links)
- (Q4490302) (← links)
- (Q4529553) (← links)
- (Q4531081) (← links)
- (Q4680221) (← links)
- Algebraic formulation of propositional calculi with general detachment rule (Q5561922) (← links)
- On variants of axiom systems of propositional calculus, I (Q5586217) (← links)
- Characterizations of $\mathrm{BCI, BCK}$-algebras (Q5607968) (← links)
- On characterizations of generalized fuzzy ideals of BCI-algebras (Q5850751) (← links)