Towards a semantics of proofs for non-commutative logic: multiplicatives and additives

Authors:
V. Michele Abrusci
Affiliations:
Logica-Dipartimento di Filosofia, Universita di Roma Tre, via Magenta 5, 00185 Roma, Italy
Venue:
Theoretical Computer Science - Linear logic
Year:
2003

Citing 4
Cited 0

Linear logic: its syntax and semantics

Proceedings of the workshop on Advances in linear logic
Bilinear logic in algebra and linguistics

Proceedings of the workshop on Advances in linear logic
On denotational completeness

Theoretical Computer Science - Special issue on linear logic, 1
Non-commutative logic II: sequent calculus and phase semantics

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interpretation of proofs of the multiplicative-additive fragment of non-commutative logic, by using bimodules on coherent spaces and bilinear functions.