Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,895 papers from all fields of science
Search
Sign In
Create Free Account
Cut rule
In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Admissible rule
Sequent calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Formalização da lógica linear em Coq
Bruno Xavier
2017
Corpus ID: 171791939
Em teoria da prova, o teorema da eliminacao do corte (ou Hauptsatz, que significa resultado principal) e de suma importância…
Expand
2016
2016
Policing the Police: The Status of Immigration Checks in the Context of Rodriguez v. United States
Vaishalee Yeldandi
2016
Corpus ID: 157081325
2011
2011
Simulation and Real Time Implementation of Spectral Subtraction and Wavelet DeNoising Embedded Algorithms for Speech Enhancement
S. K. Shah
,
J. Shah
,
N. Parmar
2011
Corpus ID: 18962127
The purpose of speech enhancement techniques is to improve quality and intelligibility of speech without producing any artifact…
Expand
2010
2010
Analytic Cut for Propositional Dynamic Logic
Chrysafis Hartonas
,
T. Larissa
2010
Corpus ID: 15012489
We present a Gentzen system GPDL for Propositional Dynamic Logic, deriving the classical Segerberg axiomatization from our system…
Expand
2007
2007
On the cut rule in the calculus of structures
Emil Jeˇr´abek
2007
Corpus ID: 14239030
We investigate the proof complexity of analytic subsystems of the deep inference proof system SKSg (the calculus of structures…
Expand
2004
2004
On two classical results in the first order logic
M. Kapetanovic
2004
Corpus ID: 120320956
A common core of proofs of the classical consistency theorem of Hilbert and Ackermann and Herbrand's theorem concerning validity…
Expand
2001
2001
Cut-Rule Axiomatization of the Syntactic Calculus L0
Wojciech Zielonka
Journal of Logic, Language and Information
2001
Corpus ID: 207630908
In Zielonka (1981a, 1989), I found an axiomatics for the product-free calculus L of Lambek whose only rule is the cut rule…
Expand
2000
2000
Cut-Rule Axiomatization of the Syntactic Calculus NL0
Wojciech Zielonka
Journal of Logic, Language and Information
2000
Corpus ID: 30900423
An axiomatics of the product-free syntactic calculus L ofLambek has been presented whose only rule is the cut rule. It was…
Expand
1996
1996
Backward Reasoning in Systems with Cut
E. Eder
AISMC
1996
Corpus ID: 36146959
In backward reasoning, a proof of a theorem is constructed by trying to obtain a set of axioms from the theorem by backward…
Expand
1993
1993
Machine Deduction
Christophe Faffalli
Types for Proofs and Programs
1993
Corpus ID: 27022213
We present in this paper a new type system which allows to extract code for an abstract machine instead of lambda-terms. Thus, we…
Expand