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