Keywords: Abstract Consequence Relations; Proof-Theory; Admissible Rules; Deduction Theorem; Uniform Substitution; Substructural Logic; Universal Logic; Modal Logic
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Some properties of fuzzy reasoning in propositional fuzzy logic systems
Keywords: Fuzzy reasoning; Algorithm; Propositional fuzzy logic; Generalized root; Deduction theorem
Some properties of the roots of theories in propositional logic systems
Keywords: Propositional logic system; ΓΓ-conclusion; Root; Deduction theorem; Divergence degree