Keywords: 03F07; 03F03; 03B20; 03F05; Predicative polymorphism; Intuitionistic predicate calculus; Existence property; Natural deduction; Normalization; Faithfulness;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B45; 03B60; 03F03; Dependence logic; Team logic; Axiomatization; Completeness; Propositional team logic; Modal team logic;
Keywords: 03B45; 03C40; 03F03; 03F07; Craig interpolation; Lyndon interpolation; Structural proof theory; Hypersequent; Labelled sequent; Modal logic;
Keywords: 03F07; 03B45; 03F03; 03B60; Self-referentiality; Justification logic; Realization;
Keywords: 03D65; 03F03; 03F10; 03F25; Bar recursion; Dialectica interpretation; Program extraction; Countable choice;
Keywords: 03B60; 03C80; 03F03; Axiomatization; Independence logic;
Keywords: 03F03; 03F07; 03F30; 68Q42; Proof theory; Herbrand's theorem; Inductive theorem proving; Automated deduction;
Keywords: 03B35; 03B45; 03B20; 03F03; Relational logic; Dual tableaux; Decision procedures; Modal logics; Intuitionistic logics;
Keywords: 03F03; 03F50; 03D15; 68Q15; Polytime computability; Applicative theories; Truth theories;
Keywords: 03B30; 03E30; 03F03; 03F55; Classical and intuitionistic mathematical logic; Set theory; Proof theory; Constructive mathematics;
Keywords: 03F03; 03F30; 03F40; 03F45Henkin sentences; Local reflection principles; Rosser provability predicates; Löb's theorem; Rosser sentences
Keywords: 03F03; 03F05; 03F25; 03F55; 03A99Aczel slash relation; Intuitionistic logic; Ordinal analysis; Proof-theoretic strength; Theories of truth
Cut-elimination for Ï1
Keywords: 03F03; 03F05; 03F07; 03F99; Cut-elimination; Uncountable regular ordinal; Reflection principle;
The omega-rule interpretation of transfinite provability logic
Keywords: 03F03; 03F45; 03B30; 03B45; Provability logic; Arithmetic interpretation; Iterated provability;
Algebraic proof theory: Hypersequents and hypercompletions
Keywords: 03B47; 03G10; 03F05; 03F03; Substructural logic; Hypersequent calculus; Residuated lattice; Substructural hierarchy; Residuated frame; Algebraic completion;
A constructive investigation of satisfiability
Keywords: 03F03; 03B20Intuitionistic logic; Sequent calculus; Satisfiability; Constructive mathematics
The bounded functional interpretation of bar induction
Keywords: 03F03; 03F10; 03F35; 03F50; Functional interpretation; Bar induction; Dependent choices;
Order-enriched categorical models of the classical sequent calculus
Keywords: 03B05; 03F03; 03G30; 03F05; 03G05; 03F52
Bounded functional interpretation
Keywords: 03F03; 03F10; 03F25; 03F30; 03F35; Functional interpretation; Majorizability; Intuitionism; Proof theory; Proof mining;