Results 171 to 176 of about 207 (176)
Some of the next articles are maybe not open access.
Sufficient conditions for cut elimination with complexity analysis
Annals of Pure and Applied Logic, 2007João Rasga
exaly
Towards a Semantic Characterization of Cut-Elimination
Studia Logica, 2006Agata Ciabattoni, Kazushige Terui
exaly
Normalization and cut-elimination theorems for some logics of evidence and truth
Journal of Logic and ComputationMartin Figallo +2 more
exaly
A Dialogical Interpretation of Cut-Elimination and Its Application to Argumentation Theory
Lecture Notes in Computer ScienceRyo Takemura
exaly