Keywords: محافظه کار; Intuitionistic logic; Subintuitionistic logic; Conservativity; Kripke models; Neighborhood models;
مقالات ISI محافظه کار (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: محافظه کار; Conjugate heat transfer; Coupling; Finite Volume Method; Conservativity; Accuracy; Verification
Keywords: محافظه کار; Proof-theoretic semantics; Determiners; Conservativity; Harmony and stability; Purity (of rules)
On order conditions for modified Patankar-Runge-Kutta schemes
Keywords: محافظه کار; Patankar-type schemes; Runge-Kutta methods; Unconditional positivity; Conservativity;
Type ã1,1ã fuzzy quantifiers determined by fuzzy measures on residuated lattices. Part III. Extension, conservativity and extensionality
Keywords: محافظه کار; Fuzzy integral; Fuzzy quantifier; Extensionality; Conservativity; Extension;
Coercive subtyping: Theory and implementation
Keywords: محافظه کار; Coercive subtyping; Conservativity; Definitional extension; Subsumptive subtyping; Type theory
On the limit existence principles in elementary arithmetic and Σn0-consequences of theories
Keywords: محافظه کار; Elementary arithmetic; Parameter-free induction; Inference rule; Interpretability logic; Conservativity; Reflection principles; Ordinal analysis;