Skip to search formSkip to main contentSkip to account menu

Calculus of structures

The calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Curry–Howard correspondenceLinear logicMaude systemModal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Deep inference and expansion trees for second-order multiplicative linear logic
In this paper, we introduce the notion of expansion tree for linear logic. As in Miller's original work, we have a shallow… 
2015
2015
On the Power of Substitution in the Calculus of Structures
There are two contributions in this article. First, we give a direct proof of the known fact that Frege systems with substitution… 
2011
2011
The Focused Calculus of Structures
The focusing theorem identifies a complete class of sequent proofs that have no inessential non-deterministic choices and… 
2011
2011
Nested proof search as reduction in the Lambda-calculus
We present a system for propositional implicative intuitionistic logic in the calculus of structures, which is a generalisation… 
2010
2010
Display calculi and other modal calculi: a comparison
In this paper we introduce and compare four different syntactic methods for generating sequent calculi for the main systems of… 
2010
2010
Focused Proof Search for Linear Logic in the Calculus of Structures
The proof-theoretic approach to logic programming has benefited from the introduction of focused proof systems, through the non… 
2004
2004
Implementing system BV of the calculus of structures in Maude
System BV is an extension of multiplicative linear logic with a noncommutative self-dual operator. We first map derivations of… 
2004
2004
From the Calculus of Structures to Term Rewriting Systems — Draft —
In this paper we present a procedure turning derivations in the Calculus of Structures in four steps into rewritings in a term… 
2004
2004
Implementing System BV of the Calculus of Structures in Maude
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. We flrst map derivations of… 
2001
2001
Properties of a Logical System in the Calculus of Structures
The calculus of structures is a new framework for presenting logical systems. It is a generalisation of a traditional framework… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)