References in:

Order algebras as models of linear logic

Studia Logica 76 (2):201 - 225 (2004)

You must login to add references.

Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 49 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...