Add to ORKGInternational audienceIn this paper we propose new calculi for the multiplicative fragment of Mixed Linear Logic (MMLL) which is a logic that combines both communicative and non-communicative connectives. These based-on sequent and proof net calculi, that can be seen as a new proof-theoretical formulation of MMLL, are based on the definition of dependency relations. We provide a proof-search procedure for MMLL that is based on proof nets construction with associated sets of dependencies
A cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abs...
In this thesis we investigate certain structural refinements of multiplicative linear logic, obtaine...
A cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abs...
International audienceIn this paper we propose new calculi for the multiplicative fragment of Mixed ...
In this paper we propose new calculi for the multiplicative fragment of Non-commutative Logic (MNL)...
Colloque avec actes et comité de lecture. internationale.International audienceIn this paper we stud...
We define a mixed version of classical propositional linear logic, which combines both commutative a...
International audienceWe propose a connection-based characterization for multiplicative intuitionist...
Colloque sur invitation. internationale.International audienceWe study proof-search in mixed logics ...
Modal separation logics are formalisms that combine modal operators to reason locally, with separati...
We provide a system of polarized proof nets for the systems FILL − and BILL−. The sequent calculus f...
Multiplicative linear logic MLL was introduced in Gi as a onesided sequent calculus linear negation ...
Multiplicative linear logic MLL was introduced in Gi as a onesided sequent calculus linear negati...
Abstract. We present a matrix characterization of logical validity in the multiplicative fragment of...
International audienceWe define a family of intuitionistic non-normal modal logics; they can be seen...
A cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abs...
In this thesis we investigate certain structural refinements of multiplicative linear logic, obtaine...
A cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abs...
International audienceIn this paper we propose new calculi for the multiplicative fragment of Mixed ...
In this paper we propose new calculi for the multiplicative fragment of Non-commutative Logic (MNL)...
Colloque avec actes et comité de lecture. internationale.International audienceIn this paper we stud...
We define a mixed version of classical propositional linear logic, which combines both commutative a...
International audienceWe propose a connection-based characterization for multiplicative intuitionist...
Colloque sur invitation. internationale.International audienceWe study proof-search in mixed logics ...
Modal separation logics are formalisms that combine modal operators to reason locally, with separati...
We provide a system of polarized proof nets for the systems FILL − and BILL−. The sequent calculus f...
Multiplicative linear logic MLL was introduced in Gi as a onesided sequent calculus linear negation ...
Multiplicative linear logic MLL was introduced in Gi as a onesided sequent calculus linear negati...
Abstract. We present a matrix characterization of logical validity in the multiplicative fragment of...
International audienceWe define a family of intuitionistic non-normal modal logics; they can be seen...
A cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abs...
In this thesis we investigate certain structural refinements of multiplicative linear logic, obtaine...
A cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abs...