S. Martini, A. Masini. A Modal View of Linear Logic. Journal of Symbolic Logic, Vol. 59, No. 3, pp. 888--899, September 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2002) (Correct)
....linear logic) and simplicial geometry is [3, 4] which provides sophisticated models for the multiplicative exponential fragment of linear logic [17] based on affine simpli cial spaces with an extra homological constraint. Note that there are strong links between S4 and linear logic, see e.g. [37]. 3. Logics, the Curry Howard Correspondence, and S4 3.1. Logics Consider any logic, specified as a set of deduction rules. So we have got a notion of formula, plus a notion of deduction, or proof. Those formulas that we can deduce are called theorems. For example, in minimal propositional ....
Simone Martini and Andrea Masini, A modal view of linear logic, Journal of Symbolic Logic 59 (1994), no. 3, 888-899.
On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2001) (Correct)
....(here, linear logic) and simplicial geometry is [3, 4] which provides sophisticated models for the multiplicative exponential fragment of linear logic [17] based on ane simplicial spaces with an extra homological constraint. Note that there are strong links between S4 and linear logic, see e.g. [34]. 3. Logics, the Curry Howard Correspondence, and S4 3.1. Logics Consider any logic, speci ed as a set of deduction rules. So we have got a notion of formula, plus a notion of deduction, or proof. Those formulas that we can deduce are called theorems. For example, in minimal propositional logic, ....
Simone Martini and Andrea Masini, A modal view of linear logic, Journal of Symbolic Logic 59 (1994), no. 3, 888-899.
A Linear Approach to Modal Proof Theory - Harold Schellinx (Correct)
....uniquely (modulo provable equivalence) So, in linear logic (as in S4) we can add 3 It is important to observe that this is more than merely asking for an embedding of S4 into linear logic, correct with respect to provability. That in a such sense S4 may be embedded in linear logic is shown in Martini and Masini(1994), by means of a simple extension of the Grishin Ono translation of classical into linear logic (which can be looked up e.g. in Troelstra(1992) 4 Us linear folks call this: dynamics. a second, a third, fourth, etc. pair of modalities to the language, plus, for each, the usual left right ....
Martini, S. and Masini, A. (1994). A modal view of linear logic. Journal of Symbolic Logic, 59(3):888--899.
Symbolic Negotiation with Linear Logic - Peep Kungas And (2004) (1 citation) (Correct)
No context found.
S. Martini, A. Masini. A Modal View of Linear Logic. Journal of Symbolic Logic, Vol. 59, No. 3, pp. 888--899, September 1994.
Symbolic Negotiation with Linear Logic - Küngas, Matskin (2004) (Correct)
No context found.
S. Martini, A. Masini. A Modal View of Linear Logic. Journal of Symbolic Logic, Vol. 59, No. 3, pp. 888-899, September 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC