Keywords: 03B99; 03B22; 03B50; 03C07; Algebraizable logic; Twist structure; AHT-algebra; Hoop;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B22; 03B70; 03G30; 06A15; 06F07; 18A15
Keywords: 03B22; 03B47; 03B53; 03F52Relevance logics; Entailment relations; Connectives; Linear logic
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;
On negation: Pure local rules
Keywords: 03B22; 03B53; 03B60; Negation; Abstract deductive systems; Multiple-conclusion logic; Paraconsistency;