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.
2020
2020
Pomset logic: a logical and grammatical alternative to the Lambek calculus
Thirty years ago, I introduced a non commutative variant of classical linear logic, called pomset logic, issued from a particular… 
2016
2016
Towards Proofs as Successful Executions of Processes
We further the understanding of the relationship between process calculi and non-commutative logic. This work focuses on, a first… 
2012
2012
Extending a system in the calculus of structures with a self-dual quantifier
We recall thatSBV, a proof system developed under the methodology of deep inference, extends multiplicative linear logic with the… 
2012
2012
Communication, and concurrency with logic-based restriction inside a calculus of structures
It is well known that we can use structural proof theory to refine, or generalize, existing paradigmatic computational primitives… 
2011
2011
Nested Proof Search as Reduction in the λ-calculus
We present here a proof system called JS for purely implicative intuitionistic logic at the propositional level in the formalism… 
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… 
2007
2007
On the cut rule in the calculus of structures
We investigate the proof complexity of analytic subsystems of the deep inference proof system SKSg (the calculus of structures… 
Review
2006
Review
2006
Deep Inference and the Calculus of Structures Project Report — 30 March 2006
The calculus of structures is a new proof theoretical formalism, introduced by myself in 1999 and initially developed by members… 
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… 
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)