Keywords: 03F07; 03F03; 03B20; 03F05; Predicative polymorphism; Intuitionistic predicate calculus; Existence property; Natural deduction; Normalization; Faithfulness;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03F05; 03F07; 68T15; 03B60; Cut-elimination; Intuitionistic logic; CERES; Proof resolution;
Keywords: 06F15; 06F20; 03F05; 08A50Lattice-ordered groups; Proof theory; Hypersequent calculi; Cut elimination; Co-NP completeness
Keywords: 03F05; 03F15; 03F35Ordinal analysis; Inductive definition; Π11-comprehension; Kripke–Platek set theory
Keywords: 03B45; 03F05; 03G25; 08B20Modal logic; Bounded proof property; Finite model property; Step correspondence
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;
Algebraic proof theory: Hypersequents and hypercompletions
Keywords: 03B47; 03G10; 03F05; 03F03; Substructural logic; Hypersequent calculus; Residuated lattice; Substructural hierarchy; Residuated frame; Algebraic completion;
The relational model is injective for multiplicative exponential linear logic (without weakenings)
Keywords: 03F05; 03F07; 03F52; Linear logic; Proof-nets; Denotational semantics; Injective model;
CERES in higher-order logic
Keywords: 03F05; 03F07; Cut-elimination; Resolution; Higher-order logic;
Order-enriched categorical models of the classical sequent calculus
Keywords: 03B05; 03F03; 03G30; 03F05; 03G05; 03F52
Ideas in the epsilon substitution method for Î 10-FIX
Keywords: 03F05; 03F35koko; Epsilon substitution; Termination proof;
Translation of resolution proofs into short first-order proofs without choice axioms
Keywords: 68T15; 03F20; 03F05; Theorem proving; Proof theory; Skolemization;
Polarized and focalized linear and classical proofs
Keywords: 03F05; 03F07; 03F52; Classical logic; Linear logic; Cut-elimination; Proof-nets; Denotational semantics; Polarization; Focalization; Reversion;