AbstractIn this paper we give a strong normalization proof for a set of reduction rules for classical logic. These reductions, more general than the ones usually considered in literature, are inspired to the reductions of Felleisen's lambda calculus with continuations
The system of natural deduction was introduced by Gentzen [1]. He also introduced the system of sequ...
In earlier articles we have introduced truth table natural deduction which allows one to extract nat...
In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for cla...
In this paper we give a strong normalization proof for a set of reduction rules for classical logic....
AbstractIn this paper we give a strong normalization proof for a set of reduction rules for classica...
International audienceWe prove the strong normalization of full classical natural deduction (i.e. wi...
International audienceWe give a direct, purely arithmetical and elementary proof of the strong norma...
Abstract. In this paper we present a strongly normalising cut-elimination procedure for classical lo...
In the context of natural deduction for propositional classical logic, with classicality given by t...
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the ...
The main objective of this PhD Thesis is to present a method of obtaining strong normalization via n...
International audienceWe give in this paper a short semantical proof of the strong normalization for...
Abstract. In this paper a strongly normalising cut-elimination procedure is presented for classical ...
AbstractIn stark contrast to Natural Deduction for Intuitionistic Logic, Natural Deduction for Class...
International audienceWe give arithmetical proofs of the strong normalization of two symmetric $\lam...
The system of natural deduction was introduced by Gentzen [1]. He also introduced the system of sequ...
In earlier articles we have introduced truth table natural deduction which allows one to extract nat...
In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for cla...
In this paper we give a strong normalization proof for a set of reduction rules for classical logic....
AbstractIn this paper we give a strong normalization proof for a set of reduction rules for classica...
International audienceWe prove the strong normalization of full classical natural deduction (i.e. wi...
International audienceWe give a direct, purely arithmetical and elementary proof of the strong norma...
Abstract. In this paper we present a strongly normalising cut-elimination procedure for classical lo...
In the context of natural deduction for propositional classical logic, with classicality given by t...
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the ...
The main objective of this PhD Thesis is to present a method of obtaining strong normalization via n...
International audienceWe give in this paper a short semantical proof of the strong normalization for...
Abstract. In this paper a strongly normalising cut-elimination procedure is presented for classical ...
AbstractIn stark contrast to Natural Deduction for Intuitionistic Logic, Natural Deduction for Class...
International audienceWe give arithmetical proofs of the strong normalization of two symmetric $\lam...
The system of natural deduction was introduced by Gentzen [1]. He also introduced the system of sequ...
In earlier articles we have introduced truth table natural deduction which allows one to extract nat...
In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for cla...
DOI
Add to ORKG