Keywords: منطق کلاسیک; Classical logic; Classification; Computational intelligence; Fuzzy Logic; Meat; Pattern recognition;
مقالات ISI منطق کلاسیک (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق کلاسیک; Classical logic; Argumentation; Dialectic; Rationality postulates; Natural deduction; Preferred subtheories; Bounded reasoning;
Keywords: منطق کلاسیک; Proof compression; Cut-introduction; Classical logic; First-order logic
Keywords: منطق کلاسیک; 03B45; 03F07; 03F45; 03F05Justification logic; Modal logic; Classical logic
A note on a deductive scheme of Dummett in classical and fuzzy logics
Keywords: منطق کلاسیک; Schemes of deductive reasoning; Dummett's scheme; Fuzzy logic; Classical logic
Liars, truthtellers, and naysayers: A broader view of semantic pathology I
Keywords: منطق کلاسیک; Semantic pathology; Liar paradox; Inconsistency; Truthteller; Indeterminacy; Consistentism; Dialetheism; Semantic closure; Kleene logic; Paraconsistent logic; Classical logic; Logic; Pretense;
Duality and pseudo duality of dual disjunctive normal forms
Keywords: منطق کلاسیک; Classical logic; Fuzzy logic; Disjunctive normal form; Duality; Pseudo duality
Probabilistic reasoning in a classical logic
Keywords: منطق کلاسیک; Probabilistic reasoning; Classical logic; Higher-order logic; Integrating logic and probability
Security protocols: from linear to classical logic by abstract interpretation
Keywords: منطق کلاسیک; Cryptographic protocols; Linear logic; Classical logic; Abstract interpretation; Formal methods;
Intersection and Union Types in the λ¯μμË-calculus
Keywords: منطق کلاسیک; Intersection types; union types; λ¯μμË-calculus; classical logic; Curry-Howard correspondence;
Intersection and Union Types for X
Keywords: منطق کلاسیک; Intersection types; union types; conditional rewriting; classical logic;
Combining classical logic, paraconsistency and relevance
Keywords: منطق کلاسیک; Paraconsistency; Relevance logic; Classical logic; Many-valued semantics; Gentzen-type systems;
Polarized and focalized linear and classical proofs
Keywords: منطق کلاسیک; 03F05; 03F07; 03F52; Classical logic; Linear logic; Cut-elimination; Proof-nets; Denotational semantics; Polarization; Focalization; Reversion;