Keywords: بسیاری از منطق ارزش; Mathematical fuzzy logic; Modal fuzzy logics; Neighborhood frames; Kripke semantics; Many-valued logics;
مقالات ISI بسیاری از منطق ارزش (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: بسیاری از منطق ارزش; Modal logics; Many-valued logics; Gödel logics; One-variable fragments; Decidability; Complexity; Finite model property;
Keywords: بسیاری از منطق ارزش; Inconsistency measure; Many-valued logics; Fuzzy logic;
Keywords: بسیاری از منطق ارزش; Many-valued logics; Monoidal t-norm based logic; Single chain completeness; Variable separation properties; Substructural logics; Halldén completeness;
Keywords: بسیاری از منطق ارزش; Many-valued logics; MTL; Weak Nilpotent Minimum; Nilpotent Minimum; t-Norms; Axiomatisation of varieties
Keywords: بسیاری از منطق ارزش; Propositional dynamic logic; Many-valued logics; Łukasiewicz logic; Kripke models; MV-algebras
Kripke-type Semantics for CG3â²
Keywords: بسیاری از منطق ارزش; Many-valued Logics; Paraconsistent Logics; Kripke-Type Semantics;
The Rényi-Ulam games and many-valued logics
Keywords: بسیاری از منطق ارزش; The Rényi-Ulam game; Many-valued logics; Multichannel games;
The logic of the strongest and the weakest t-norms
Keywords: بسیاری از منطق ارزش; Many-valued logics; Gödel-logic; Drastic product logic; Drastic product t-norm; Minimum t-norm; Amalgamation property; Residuated lattices;
Efficient reasoning with inconsistent information using C-systems
Keywords: بسیاری از منطق ارزش; Inconsistent information; Analytic proof systems; Gentzen-style calculi; Paraconsistent logics; Many-valued logics; Non-deterministic logical matrices
A temporal semantics for Nilpotent Minimum logic
Keywords: بسیاری از منطق ارزش; Rough sets; Many-valued logics; Pre-rough algebras; Nilpotent Minimum logic; Temporal semantics; Łukasiewicz logic
Gödel logics with monotone operators
Keywords: بسیاری از منطق ارزش; Many-valued logics; Gödel logics; Decidability; t-Norm based logics;
Heyting algebras with Boolean operators for rough sets and information retrieval applications
Keywords: بسیاری از منطق ارزش; Heyting algebras; Many-valued logics; Rough sets; Information retrieval; Query expansion; Implicative relations