scientific article; zbMATH DE number 3485719
From MaRDI portal
Publication:4068686
Cited in
(24)- Redefined fuzzy implicative filters
- Intuitionistic nil radicals of intuitionistic fuzzy ideals and Euclidean intuitionistic fuzzy ideals in rings.
- A tool for analysing logics
- The complexity of the evaluation of complex algebra expressions
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- A logic for approximate reasoning
- Quine's ‘limits of decision’
- Unified forms of Triple I method
- Linguistic modelling and information coarsening based on prototype theory and label semantics
- \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras.
- An intrinsic fuzzy set on the universe of discourse of predicate formulas
- Gödel, Tarski, Church, and The Liar
- \((\in, \in \vee q)\)-fuzzy \(t\)-filters on residuated lattices
- Generalized fuzzy groups and many-valued implications
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
- A heuristic in rules-based systems
- Syntactic unification as a geometric operation in free modules over certain rings
- Swinging types=functions+relations+transition systems
- Consequence operators, interior operators and fuzzy relations
- A Mayer-type optimal control for multivalued logic control networks with undesirable states
- From geometry to conceptual relativity
- A geometric interpretation of LD-resolution
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4068686)