The following pages link to (Q4693586):
Displaying 50 items.
- Fuzzy prime Boolean filters and their operations in IMTL-algebras (Q376765) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- Some kinds of falling fuzzy filters of lattice implication algebras (Q530725) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Some kinds of \((\epsilon_\gamma,\epsilon_\gamma\vee \!q_\delta)\)-fuzzy ideals of BCI-algebras (Q552257) (← links)
- New types of fuzzy filters of BL-algebras (Q623144) (← links)
- On fuzzy ordered semigroups. (Q726383) (← links)
- Some constructions of the join of fuzzy subgroups and certain lattices of fuzzy subgroups with sup property. (Q845312) (← links)
- Redefined fuzzy implicative filters (Q865915) (← links)
- Theory of generalized tautology in revised Kleene system (Q866229) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Filters of \(R_{0}\)-algebras (Q885587) (← links)
- A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic (Q894383) (← links)
- Free Łukasiewicz implication algebras (Q937211) (← links)
- Some kinds of \((\overline{\in},\overline{\in}\vee\overline q)\)-fuzzy filters of \(BL\)-algebras (Q980062) (← links)
- Soft \(BL\)-algebras based on fuzzy sets (Q980125) (← links)
- Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra (Q985060) (← links)
- Some types of generalized fuzzy filters of BL-algebras (Q1004852) (← links)
- On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras (Q1031974) (← links)
- On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) (Q1034954) (← links)
- Implication algebras and the Metropolis-Rota axioms for cubic lattices (Q1346091) (← links)
- Filters and structure of lattice implication algebra (Q1375829) (← links)
- Syntax of first-order lattice valued logic system FM (Q1375832) (← links)
- \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. (Q1425298) (← links)
- On fuzzy fantastic filters of lattice implication algebras (Q1428993) (← links)
- Fuzzy \(n\)-fold positive implicative filters in lattice implication algebras (Q1429342) (← links)
- Some operations on lattice implication algebras (Q1599704) (← links)
- Attribute extended algorithm of lattice-valued concept lattice based on congener formal context (Q1719237) (← links)
- \(L\)-valued propositional logic \(L_{\text{vpl}}\) (Q1818981) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- Lack of associative filters in lattice implication algebras (Q1933779) (← links)
- Fuzzy prime filters of lattice implication algebras (Q1937907) (← links)
- On the algebraic structure of binary lattice-valued fuzzy relations (Q1955455) (← links)
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
- A complete axiomatisation for the logic of lattice effect algebras (Q2239398) (← links)
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra (Q2440194) (← links)
- Lattice implication ordered semigroups (Q2466097) (← links)
- Fuzzy implicative and Boolean filters of \(R_{0}\) algebras (Q2486004) (← links)
- Fuzzy Boolean and positive implicative filters of BL-algebras (Q2486058) (← links)
- Fuzzy logic from the viewpoint of machine intelligence (Q2492313) (← links)
- Generalized fuzzy filters of \(R_{0}\)-algebras (Q2642998) (← links)
- Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 (Q2988491) (← links)
- Soft Lattice Implication Algebras (Q3102161) (← links)
- ( ∈ , ∈ vq)-Fuzzy Filters of Lattice Implication Algebras (Q3102168) (← links)
- (Q3148081) (← links)
- (Q3175394) (← links)
- On (∈, ∈ ∨ q)-fuzzy filters of<i>R</i><sub>0</sub>-algebras (Q3184214) (← links)
- (Q3379170) (← links)
- On symmetric bi-\(f\)-derivations of lattice implication algebras (Q3388379) (← links)
