Keywords: منطق منطقی; Traffic characterization; Anomaly detection; Network management; Paraconsistent logic; ARIMA; ACO;
مقالات ISI منطق منطقی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق منطقی; Computation tree logic; Paraconsistent logic; Complexity; Inconsistency-tolerant reasoning; Hierarchical information
Keywords: منطق منطقی; Paraconsistent logic; Da Costa logic; Many-valued logic; Modal logic; Non-monotonic reasoning
Liars, truthtellers, and naysayers: A broader view of semantic pathology I
Keywords: منطق منطقی; Semantic pathology; Liar paradox; Inconsistency; Truthteller; Indeterminacy; Consistentism; Dialetheism; Semantic closure; Kleene logic; Paraconsistent logic; Classical logic; Logic; Pretense;
Combining linear-time temporal logic with constructiveness and paraconsistency
Keywords: منطق منطقی; Linear-time temporal logic; Constructive logic; Paraconsistent logic; Sequent-style proof systems; Kripke semantics
The reliability of experts' opinions in constructing a composite environmental index: The case of ESI 2005
Keywords: منطق منطقی; Experts' weights; Composite environmental index; ESI 2005; Paraconsistent logic; Sustainability; Uncertainty
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCCCALCC
Keywords: منطق منطقی; Description logic; Tableau algorithms; Constructive logic; Paraconsistent logic
Paraconsistent logic from a modal viewpoint
Keywords: منطق منطقی; Modal logic; Paraconsistent logic; Negation; Square of opposition;
Paraconsistent Informational Logic
Keywords: منطق منطقی; Informational logic; Paraconsistent logic; Logical entropy measures; Syntactic probability; Formal conjectures;
On the structure of paraconsistent extensions of Johansson's logic
Keywords: منطق منطقی; Minimal logic; Paraconsistent logic; Algebraic semantics; j-algebra; Kripke semantics;
Models for a paraconsistent set theory
Keywords: منطق منطقی; 03E70; 03B53; Naive set theory; Topological models; Paraconsistent logic;