Keywords: 03A99; 03B45; 03B53; 03B60Justification logic; Modal logic; Realization
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B22; 03B47; 03B53; 03F52Relevance logics; Entailment relations; Connectives; Linear logic
Extended-order algebras
Keywords: 03B53; 03G25; 06A06; 06A11; 06B23Poset; Complete lattice; Extended-order algebra; Implication algebra; Partially ordered groupoid; Residuated lattice; Many-valued mathematics
Anti-intuitionism and paraconsistency
Keywords: 03B50; 03B53; 03B55; Dualizing logics; Anti-intuitionism; Paraconsistency; Dual-intuitionistic logics; Intuitionism; Paracompleteness;
Models for a paraconsistent set theory
Keywords: 03E70; 03B53; Naive set theory; Topological models; Paraconsistent logic;
On negation: Pure local rules
Keywords: 03B22; 03B53; 03B60; Negation; Abstract deductive systems; Multiple-conclusion logic; Paraconsistency;