Keywords: 03C40; 03B45; Interpolation; Fusion; Modal logic; Superamalgamability;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B45; 03C40; 03F03; 03F07; Craig interpolation; Lyndon interpolation; Structural proof theory; Hypersequent; Labelled sequent; Modal logic;
Keywords: 03C10; 03C35; 03C40; 03C50; First-order; Reduct; Ramsey; Homogeneous; Automorphism;
Keywords: 03C05; 03C10; 03C40; 08B20; Uniform interpolation; Compact congruences; Amalgamation; Model completions;
Keywords: 03C40; 03C50; 03B20; 03B45; Model theory; Intensional logic; Propositional logic; Asimulation; Bisimulation; Van Benthem's theorem;
Keywords: 03B45; 03C40; 03F07; 03B70; Craig interpolation; Nested sequent; Structural proof theory; Modal logic;
Keywords: 03C40; 03F07; 68T15; 68T27; Craig interpolation; Network; Partition based reasoning; Peer-to-peer inference; Knowledge base;
Keywords: 03C40; 03C52; 03C75; 03C13Model theory; First order logic; Łoś–Tarski preservation theorem
Keywords: 05E18; 03C40; 20B27; 20E28Reduct; Digraph; Homogeneous structure; Permutation group; Closed group; Canonical function
Keywords: 03C10; 03C40; 03C60; 03C95Model theory of restricted products; Adeles of a number field; Quantifier elimination; Feferman–Vaught theorems; Hyperrings; Valued fields
Keywords: 03C13; 03C30; 03C40; 03C50Model theory; Finite model theory; Preservation; Expressive completeness; Modal and guarded logics
Keywords: 03G27; 03B47; 06D35; 03C40; Algebraic logic; Equivalential logics; Interpolation properties; Amalgamation properties; Åukasiewicz logic;
Craig interpolation for networks of sentences
Keywords: 03B10; 03C40; 03F07; 68T15; Craig interpolation; Network; Partition based reasoning; Peer-to-peer inference; Knowledge base;
Undefinability results in o-minimal expansions of the real numbers
Keywords: primary; 03C64; secondary; 03C40; 11J85; 11U09; 30A99; Definability; Schanuel's Conjecture; Real exponential field; Harmonic functions;