Keywords: منطق دوم مرتبه; Second-order generalized quantifiers; Definability; Majority quantifier; Second-order logic; Collective quantification
مقالات ISI منطق دوم مرتبه (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق دوم مرتبه; 03B30; 03F35; 03B15; 03H15Reverse mathematics; Nonstandard models; Second-order logic; Peano system; Categorical sentences
Keywords: منطق دوم مرتبه; 03B45; 03C80; 03B15Modal logic; Propositional quantifiers; Monadic second-order logic; Alternation hierarchies; Second-order logic
A cut-free calculus for second-order Gödel logic
Keywords: منطق دوم مرتبه; Proof theory; Cut-admissibility; Second-order logic; Non-classical logics; Fuzzy logics; Gödel logic; Non-deterministic semantics;
On the expressiveness of second-order spider diagrams
Keywords: منطق دوم مرتبه; Expressiveness; Spider diagrams; Diagrammatic logic; Second-order logic
Non-strictly positive fixed points for classical natural deduction
Keywords: منطق دوم مرتبه; Proof by contradiction; Natural deduction; Second-order logic; System F; Disjunction; Commuting/permutative conversion; Fixed-point type; Strong normalization; Reducibility candidate; Saturated set; λμ-calculus;