A mixed linear and non-linear logic Proofs, terms and models (preliminary report)

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-162) / BLDSC ...

Geometric logic, causality and event structures

Gunawardena, J
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-119) / BLDSC - Br...

The synthesis and verification of logic programs

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/36). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

On intuitionistic linear logic

Bierman, G.M.

January 1993

SIGLEAvailable from British Library Document Supply Centre-DSC:D063907 / BLDSC - British Library Doc...

An algebraic axiomatization of linear logic models

Marti-Oliet, N.
Oxford Univ. Computing Lab. (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:0678.231F(AD-A--252-039)(microfiche) ...

Proof nets for multiplicative and additive linear logic

Bellin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--161) / BLDSC - B...

Process-algebraic interpretations of positive and linear logics

Dam, M
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-216) / BLDSC ...

Models of lambda calculi and linear logic Structural, equational and proof-theoretic characterisations

Loader, R

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D187736 / BLDSC - British Library Do...

Partial-valued logic

Blamey, S

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D35330/81 / BLDSC - British Library ...

Labelled proof theory for conditional logic

Lamb, L. da Cunha

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN038580 / BLDSC - British Library D...

Some problems in logic

Quinsey, J.E

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D73582/87 / BLDSC - British Library ...

The algebra of logic programming

Seres, S.

January 2001

Available from British Library Document Supply Centre-DSC:D213881 / BLDSC - British Library Document...

Categorical multirelations, linear logic and petri nets Draft

De Paiva, V
Cambridge Univ. (United Kingdom). Computer Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--225) / BLDSC - Br...

Non-binary logic system

Kelsch, R.G

January 1972

SIGLEAvailable from British Library Document Supply Centre- DSC:D85209 / BLDSC - British Library Doc...

Some applications of generalised linear models

Scallan, A
Polytechnic of North London (United Kingdom)
Council for National Academic Awards, London (United Kingdom)

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:DX97502 / BLDSC - British Library Do...

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-162) / BLDSC ...

Geometric logic, causality and event structures

Gunawardena, J
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-119) / BLDSC - Br...

The synthesis and verification of logic programs

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/36). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

On intuitionistic linear logic

Bierman, G.M.

January 1993

SIGLEAvailable from British Library Document Supply Centre-DSC:D063907 / BLDSC - British Library Doc...

An algebraic axiomatization of linear logic models

Marti-Oliet, N.
Oxford Univ. Computing Lab. (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre-DSC:0678.231F(AD-A--252-039)(microfiche) ...

Proof nets for multiplicative and additive linear logic

Bellin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--161) / BLDSC - B...

Process-algebraic interpretations of positive and linear logics

Dam, M
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-216) / BLDSC ...

Models of lambda calculi and linear logic Structural, equational and proof-theoretic characterisations

Loader, R

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D187736 / BLDSC - British Library Do...

Partial-valued logic

Blamey, S

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D35330/81 / BLDSC - British Library ...

Labelled proof theory for conditional logic

Lamb, L. da Cunha

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN038580 / BLDSC - British Library D...

Some problems in logic

Quinsey, J.E

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D73582/87 / BLDSC - British Library ...

The algebra of logic programming

Seres, S.

January 2001

Available from British Library Document Supply Centre-DSC:D213881 / BLDSC - British Library Document...

Categorical multirelations, linear logic and petri nets Draft

De Paiva, V
Cambridge Univ. (United Kingdom). Computer Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--225) / BLDSC - Br...

Non-binary logic system

Kelsch, R.G

January 1972

SIGLEAvailable from British Library Document Supply Centre- DSC:D85209 / BLDSC - British Library Doc...

Some applications of generalised linear models

Scallan, A
Polytechnic of North London (United Kingdom)
Council for National Academic Awards, London (United Kingdom)

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:DX97502 / BLDSC - British Library Do...

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-162) / BLDSC ...

Geometric logic, causality and event structures

Gunawardena, J
Hewlett-Packard Laboratories, Bristol (United Kingdom)

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:4335.26205(HPL--91-119) / BLDSC - Br...

The synthesis and verification of logic programs

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/36). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A mixed linear and non-linear logic Proofs, terms and models (preliminary report)

Abstract

Extracted data

A mixed linear and non-linear logic Proofs, terms and models (preliminary report)

Abstract

Extracted data

Related items

Related items