You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (323)

Journals (0)

1-10 of 323 results for cut-elimination

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Strong Normalisation of Cut-Elimination in Classical Logic

Retricted access

Research article

First published 2001-2

Strong Normalisation of Cut-Elimination in Classical Logic

C. Urban, G.M. Bierman

Fundamenta Informaticae

Select article: CUT ELIMINATION FOR CLASSICAL BILINEAR LOGIC

Retricted access

Research article

First published 1995-2

CUT ELIMINATION FOR CLASSICAL BILINEAR LOGIC

J. Lambek

Fundamenta Informaticae

Select article: Intersection Types with Subtyping by Means of Cut Elimination

Retricted access

Research article

First published 2012-12

Intersection Types with Subtyping by Means of Cut Elimination

Olivier Laurent

Fundamenta Informaticae

Select article: From cutting costs to eliminating waste: reframing the challenge

Retricted access

Editorial

First published 2017-4

From cutting costs to eliminating waste: reframing the challenge

Nick Black

Journal of Health Services Research & Policy

Select article: Multi Lingual Sequent Calculus and Coherent Spaces

Retricted access

Research article

First published 1999-3

Multi Lingual Sequent Calculus and Coherent Spaces

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Fundamenta Informaticae

Select article: Foundations of Paraconsistent Resolution

Retricted access

Research article

First published 2006-7

Foundations of Paraconsistent Resolution

Norihiro Kamide

Fundamenta Informaticae

Select article: 10x Eliminates 8% of Workforce in $50M Cost-Cutting Effort

Retricted access

Research article

First published 2025-5

10x Eliminates 8% of Workforce in $50M Cost-Cutting Effort

Alex Philippidis

GEN Edge

Select article: An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices

Retricted access

Research article

First published 2007-7

An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices

Ewa Palka

Fundamenta Informaticae

Select article: A Paraconsistent Linear-time Temporal Logic

Retricted access

Research article

First published 2011-1

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Select article: Effective heuristics for beam angle optimization in radiation therapy

Retricted access

Research article

First published 2018-11

Effective heuristics for beam angle optimization in radiation therapy

Hamed Yarmand, David Craft

SIMULATION

1
2
3
•••
33
10 / page

Article type

Publication date

Subjects

Access