Keywords: primary; 03B47; 03B55; 06D20; 06F05; secondary; 03G25; 03G27; Epimorphism; Brouwerian algebra; Heyting algebra; Esakia space; Residuated lattice; Sugihara monoid; Substructural logic; Intuitionistic logic; Relevance logic; R-mingle; Beth definability;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B60; 03B55; 03B65; 03B70Propositional dependence logic; Inquisitive logic; Team semantics; Non-classical logic
Keywords: 03D30; 03D78; 03F60; 03E15; 03B55; 68Q32Computable analysis; Limit computable mathematics; Identification in the limit; Medvedev degree; Weihrauch degree
On unification and admissible rules in Gabbay-de Jongh logics
Keywords: 03B20; 03B22; 03B55; 03B70; Intuitionistic logic; Intermediate logic; Admissible rules; Disjunction property; Extension property;
Anti-intuitionism and paraconsistency
Keywords: 03B50; 03B53; 03B55; Dualizing logics; Anti-intuitionism; Paraconsistency; Dual-intuitionistic logics; Intuitionism; Paracompleteness;