Publication

Axioms and Models of Linear Logic

Hesselink, W. H., 1990, In : Formal Aspects of Computing. 2, 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

APA

Hesselink, W. H. (1990). Axioms and Models of Linear Logic. Formal Aspects of Computing, 2.

Author

Hesselink, Wim H. / Axioms and Models of Linear Logic. In: Formal Aspects of Computing. 1990 ; Vol. 2.

Harvard

Hesselink, WH 1990, 'Axioms and Models of Linear Logic', Formal Aspects of Computing, vol. 2.

Standard

Axioms and Models of Linear Logic. / Hesselink, Wim H.

In: Formal Aspects of Computing, Vol. 2, 1990.

Research output: Contribution to journalArticleAcademicpeer-review

Vancouver

Hesselink WH. Axioms and Models of Linear Logic. Formal Aspects of Computing. 1990;2.


BibTeX

@article{e681525259004390be0bc232af3e58a9,
title = "Axioms and Models of Linear Logic",
abstract = "Girard's recent system of linear logic is presented in a way that avoids the two-level structure of formulae and sequents, and that minimises the number of primitive function symbols. A deduction theorem is proved concerning the classical implication as embedded in linear logic. The Hilbert-style axiomatisation is proved to be equivalent to the sequent formalism. The axiomatisation leads to a complete class of algebraic models. Various models are exhibited. On the meta-level we use Dijkstra's method of explicit equational proofs.",
keywords = "Phase structures, Equational proofs, Deduction theorem, Sequent calculus, Monoid, Model theory, Axiomatisation, Linear logic",
author = "Hesselink, {Wim H.}",
note = "Relation: https://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)",
year = "1990",
language = "English",
volume = "2",
journal = "Formal Aspects of Computing",
issn = "0934-5043",

}

RIS

TY - JOUR

T1 - Axioms and Models of Linear Logic

AU - Hesselink, Wim H.

N1 - Relation: https://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)

PY - 1990

Y1 - 1990

N2 - Girard's recent system of linear logic is presented in a way that avoids the two-level structure of formulae and sequents, and that minimises the number of primitive function symbols. A deduction theorem is proved concerning the classical implication as embedded in linear logic. The Hilbert-style axiomatisation is proved to be equivalent to the sequent formalism. The axiomatisation leads to a complete class of algebraic models. Various models are exhibited. On the meta-level we use Dijkstra's method of explicit equational proofs.

AB - Girard's recent system of linear logic is presented in a way that avoids the two-level structure of formulae and sequents, and that minimises the number of primitive function symbols. A deduction theorem is proved concerning the classical implication as embedded in linear logic. The Hilbert-style axiomatisation is proved to be equivalent to the sequent formalism. The axiomatisation leads to a complete class of algebraic models. Various models are exhibited. On the meta-level we use Dijkstra's method of explicit equational proofs.

KW - Phase structures

KW - Equational proofs

KW - Deduction theorem

KW - Sequent calculus

KW - Monoid

KW - Model theory

KW - Axiomatisation

KW - Linear logic

M3 - Article

VL - 2

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

SN - 0934-5043

ER -

ID: 3359894