Keywords: Polynomial proof systems; Deterministic and non-deterministic many-valued logics; Paraconsistency; Finite fields
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Paraconsistency; Agile methods; Software requirements; Requirements evolution;
Keywords: Probability; Progic; Paraconsistency; Iteration problem; Maximising entropy; Relative entropy minimisation; Bayesianism; Ranking theory; AGM belief revision theory; Language sensitivity;
Introducing the Discriminative Paraconsistent Machine (DPM)
Keywords: Paraconsistency; Pattern recognition; Discriminative model training
An adaptive logic for relevant classical deduction
Keywords: Ex falso quodlibet; Paraconsistency; Adaptive logics
Aristotle's Thesis between paraconsistency and modalization
Keywords: Connexive; Implication; Aristotle's square; Relevance; Paraconsistency;
Anti-intuitionism and paraconsistency
Keywords: 03B50; 03B53; 03B55; Dualizing logics; Anti-intuitionism; Paraconsistency; Dual-intuitionistic logics; Intuitionism; Paracompleteness;
Combining classical logic, paraconsistency and relevance
Keywords: Paraconsistency; Relevance logic; Classical logic; Many-valued semantics; Gentzen-type systems;
A procedural criterion for final derivability in inconsistency-adaptive logics
Keywords: Criteria for final derivability; Adaptive logics; Non-monotonic reasoning; Paraconsistency;
On negation: Pure local rules
Keywords: 03B22; 03B53; 03B60; Negation; Abstract deductive systems; Multiple-conclusion logic; Paraconsistency;