scientific article; zbMATH DE number 205724
From MaRDI portal
Publication:4693586
zbMath0784.03035MaRDI QIDQ4693586
Publication date: 17 August 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of lattices and related structures (03G10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (54)
On generalized $f$-derivations of lattice implication algebras ⋮ On lifting quasi-filters and strong lifting quasi-filters in MV-algebras ⋮ Some constructions of the join of fuzzy subgroups and certain lattices of fuzzy subgroups with sup property. ⋮ On (∈, ∈ ∨ q)-fuzzy filters ofR0-algebras ⋮ Generalized fuzzy filters of \(R_{0}\)-algebras ⋮ \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality ⋮ Redefined fuzzy implicative filters ⋮ Theory of generalized tautology in revised Kleene system ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Filters and structure of lattice implication algebra ⋮ Syntax of first-order lattice valued logic system FM ⋮ Fuzzy prime Boolean filters and their operations in IMTL-algebras ⋮ Filters of \(R_{0}\)-algebras ⋮ On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic ⋮ Lack of associative filters in lattice implication algebras ⋮ A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic ⋮ Fuzzy prime filters of lattice implication algebras ⋮ New types of fuzzy filters of BL-algebras ⋮ On the algebraic structure of binary lattice-valued fuzzy relations ⋮ Lattice-valued modal propositional logic based on M-lattice implication algebras ⋮ Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras. ⋮ Attribute extended algorithm of lattice-valued concept lattice based on congener formal context ⋮ On fuzzy fantastic filters of lattice implication algebras ⋮ Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 ⋮ Fuzzy \(n\)-fold positive implicative filters in lattice implication algebras ⋮ Lattice implication ordered semigroups ⋮ On derivations and generalized derivations of bitonic algebras ⋮ Some kinds of falling fuzzy filters of lattice implication algebras ⋮ Fuzzy implicative and Boolean filters of \(R_{0}\) algebras ⋮ Fuzzy Boolean and positive implicative filters of BL-algebras ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Some kinds of \((\epsilon_\gamma,\epsilon_\gamma\vee \!q_\delta)\)-fuzzy ideals of BCI-algebras ⋮ Fuzzy logic from the viewpoint of machine intelligence ⋮ Some kinds of \((\overline{\in},\overline{\in}\vee\overline q)\)-fuzzy filters of \(BL\)-algebras ⋮ Soft \(BL\)-algebras based on fuzzy sets ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras ⋮ Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra ⋮ Implicational lattices and generalization of Stone's representation theorem ⋮ On fuzzy ordered semigroups. ⋮ Ultra LI-ideals in lattice implication algebras and MTL-algebras ⋮ Some types of generalized fuzzy filters of BL-algebras ⋮ Fuzzy topology representation for MV-algebras ⋮ \(L\)-valued propositional logic \(L_{\text{vpl}}\) ⋮ Soft Lattice Implication Algebras ⋮ ( ∈ , ∈ vq)-Fuzzy Filters of Lattice Implication Algebras ⋮ On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras ⋮ On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA) ⋮ Fuzzy stabilizers in BL-algebras
This page was built for publication:
