Results 321 to 330 of about 2,879,484 (330)

Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation

, 2014
Christian Urban
semanticscholar   +1 more source

Cut Elimination Resumed

2000
openaire   +1 more source

Formalizing Cut Elimination of Coalgebraic Logics in Coq

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2013
H. Tews
semanticscholar   +1 more source

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED

The Review of Symbolic Logic, 2012
R. Goré, Revantha Ramanayake
semanticscholar   +1 more source

Cut Elimination and Realization for Epistemic Logics with Justification

Journal of Logic and Computation, 2012
Meghdad Ghari
semanticscholar   +1 more source

Intersection Types with Subtyping by Means of Cut Elimination

Fundamenta Informaticae, 2012
Olivier Laurent
semanticscholar   +1 more source

A cut-elimination theorem

1972
openaire   +1 more source

Cut Elimination in Transfinite Type Theory

Mathematical Logic Quarterly, 1973
openaire   +2 more sources

Normalization and cut elimination

2014
openaire   +1 more source

Cut Elimination in ε‐Calculi

Mathematical Logic Quarterly, 1982
openaire   +1 more source