Results 271 to 280 of about 117,954 (285)

Cut Elimination in ε‐Calculi

Mathematical Logic Quarterly, 1982
openaire   +1 more source

Cut-elimination for a logic with definitions and induction

Theoretical Computer Science, 2000
Dale Miller
exaly  

Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing

Notre Dame Journal of Formal Logic, 2004
Steffen Van Bakel
exaly  

Generating facets for the cut polytope of a graph by triangular elimination

Mathematical Programming, 2006
David Avis, Tsuyoshi Itô, Avis David
exaly  

TNF-  elimination with high cut-off haemofilters: a feasible clinical modality for septic patients?

Nephrology Dialysis Transplantation, 2003
Stanislao Morgera, Michael Haase, H Gohl   +2 more
exaly  

Strongly Normalising Cut-Elimination with Strict Intersection Types

Electronic Notes in Theoretical Computer Science, 2003
Steffen Van Bakel
exaly  

Effective Cut-elimination for a Fragment of Modal mu-calculus

Studia Logica, 2012
Grigori Mints, Mints Grigori
exaly  

The Role of Quantifier Alternations in Cut Elimination

Notre Dame Journal of Formal Logic, 2005
exaly  

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic

Studia Logica, 2019
Norihiro Kamide, Yoni Zohar, Kamide Norihiro   +2 more
exaly  

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Lecture Notes in Computer Science, 2017
Yury Savateev
exaly