Prolegomena of a logic of causality and dynamism

P. Bellot; J. P. Cottin; B. Robinet; D. Sarni; J. Leneutre; E. Zarpas

doi:10.1023/A:1005124501371

Prolegomena of a logic of causality and dynamism

P. Bellot, J. P. Cottin, B. Robinet, D. Sarni, J. Leneutre, E. Zarpas

Telecom Paris

Research output: Contribution to journal › Article › peer-review

Abstract

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

Original language	English
Pages (from-to)	77-105
Number of pages	29
Journal	Studia Logica
Volume	62
Issue number	1
DOIs	https://doi.org/10.1023/A:1005124501371
Publication status	Published - 1 Jan 1999

Keywords

Actions
Causality
Linear logic

Access to Document

10.1023/A:1005124501371

Cite this

@article{36bbd8f292834d33ba762d23af2f9750,

title = "Prolegomena of a logic of causality and dynamism",

abstract = "We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.",

keywords = "Actions, Causality, Linear logic",

author = "P. Bellot and Cottin, \{J. P.\} and B. Robinet and D. Sarni and J. Leneutre and E. Zarpas",

year = "1999",

month = jan,

day = "1",

doi = "10.1023/A:1005124501371",

language = "English",

volume = "62",

pages = "77--105",

journal = "Studia Logica",

issn = "0039-3215",

number = "1",

}

TY - JOUR

T1 - Prolegomena of a logic of causality and dynamism

AU - Bellot, P.

AU - Cottin, J. P.

AU - Robinet, B.

AU - Sarni, D.

AU - Leneutre, J.

AU - Zarpas, E.

PY - 1999/1/1

Y1 - 1999/1/1

N2 - We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

AB - We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

KW - Actions

KW - Causality

KW - Linear logic

U2 - 10.1023/A:1005124501371

DO - 10.1023/A:1005124501371

M3 - Article

AN - SCOPUS:53149096202

SN - 0039-3215

VL - 62

SP - 77

EP - 105

JO - Studia Logica

JF - Studia Logica

IS - 1

ER -

Prolegomena of a logic of causality and dynamism

Abstract

Keywords

Access to Document

Fingerprint

Cite this