Non decomposable connectives of linear logic

Annals of Pure and Applied Logic 170 (11):102709 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.05.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Completeness proofs for propositional logic with polynomial-time connectives.John N. Crossley & Philip J. Scott - 1989 - Annals of Pure and Applied Logic 44 (1-2):39-52.
Dynamic linear time temporal logic.Jesper G. Henriksen & P. S. Thiagarajan - 1999 - Annals of Pure and Applied Logic 96 (1-3):187-207.
Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
Bounded linear-time temporal logic: A proof-theoretic investigation.Norihiro Kamide - 2012 - Annals of Pure and Applied Logic 163 (4):439-466.
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings).Daniel de Carvalho & Lorenzo Tortora de Falco - 2012 - Annals of Pure and Applied Logic 163 (9):1210-1236.
On NP-completeness in Linear Logic.Alexey P. Kopylov - 1995 - Annals of Pure and Applied Logic 75 (1-2):137-152.
Linear orderings and powers of characterizable cardinals.Ioannis Souldatos - 2012 - Annals of Pure and Applied Logic 163 (3):225-237.
Recursive automorphisms of recursive linear orderings.Steven Schwarz - 1984 - Annals of Pure and Applied Logic 26 (1):69-73.
The uniform content of partial and linear orders.Eric P. Astor, Damir D. Dzhafarov, Reed Solomon & Jacob Suggs - 2017 - Annals of Pure and Applied Logic 168 (6):1153-1171.
Tautologies and positive solvability of linear homogeneous systems.Gennady Davydov & Inna Davydova - 1992 - Annals of Pure and Applied Logic 57 (1):27-43.

Analytics

Added to PP
2019-06-02

Downloads
2 (#1,819,493)

6 months
21 (#133,716)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.
Focussing and proof construction.Jean-Marc Andreoli - 2001 - Annals of Pure and Applied Logic 107 (1-3):131-163.
Modularity of proof-nets.Roberto Maieli & Quintijn Puite - 2005 - Archive for Mathematical Logic 44 (2):167-193.
Focussing and proof construction.Jean-Marc Jean-Marc - 2001 - Annals of Pure and Applied Logic 107 (1-3):131-163.

Add more references