The following pages link to (Q2757760):
Displaying 50 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- An introduction to quantaloid-enriched categories (Q277336) (← links)
- Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach (Q277560) (← links)
- Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness (Q279320) (← links)
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
- Representations through a monoid on the set of fuzzy implications (Q279330) (← links)
- On distributivity equations of implications and contrapositive symmetry equations of implications (Q279335) (← links)
- Construction of finite \(\mathbf L\)-groups. (Q279347) (← links)
- Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure (Q279371) (← links)
- Triadic fuzzy Galois connections as ordinary connections (Q279379) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance (Q347386) (← links)
- On good EQ-algebras (Q409738) (← links)
- Fuzzy XNOR connectives in fuzzy logic (Q416300) (← links)
- Semi-uninorms and implications on a complete lattice (Q419031) (← links)
- Handling the valuation of the predicates in a fuzzy model (Q423144) (← links)
- Bivalent and other solutions of fuzzy relational equations via linguistic hedges (Q427921) (← links)
- On adjunctions between Lim, SL-Top, and SL-Lim (Q429393) (← links)
- Intersection of Yager's implications with QL and D-implications (Q448930) (← links)
- Formalization of implication based fuzzy reasoning method (Q448954) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Self-dual operators and a general framework for weighted nilpotent operators (Q505259) (← links)
- Determinization of fuzzy automata via factorization of fuzzy states (Q508600) (← links)
- On ordinal sum implications (Q508906) (← links)
- Topological structures of \(L\)-fuzzy rough sets and similarity sets of \(L\)-fuzzy relations (Q518613) (← links)
- The general nilpotent operator system (Q529007) (← links)
- Characterizations of residual coimplications of pseudo-uninorms on a complete lattice (Q529010) (← links)
- Graded dominance and related graded properties of fuzzy connectives (Q529059) (← links)
- Convex combinations of fuzzy logical operations (Q529113) (← links)
- Distributivity and conditional distributivity of semi-uninorms over continuous t-conorms and t-norms (Q529351) (← links)
- The law of importation versus the exchange principle on fuzzy implications (Q533167) (← links)
- Knowledge spaces with graded knowledge states (Q543830) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- On a new class of fuzzy implications: \(h\)-implications and generalizations (Q545332) (← links)
- Two classes of pseudo-triangular norms and fuzzy implications (Q552214) (← links)
- Some properties of fuzzy reasoning in propositional fuzzy logic systems (Q621597) (← links)
- Aggregation functions: means (Q621624) (← links)
- Distributive equations of implications based on nilpotent triangular norms (Q622261) (← links)
- Maximal and premaximal paraconsistency in the framework of three-valued semantics (Q631512) (← links)
- Ideal paraconsistent logics (Q647409) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- Graded properties of unary and binary fuzzy connectives (Q695239) (← links)
- Characterizing when an ordinal sum of t-norms is a t-norm on bounded lattices (Q695241) (← links)
- Threshold generation method of construction of a new implication from two given ones (Q695270) (← links)
- On fuzzy type theory (Q703370) (← links)
- Two-dimensional awareness logics (Q704034) (← links)