Some Properties of Linear Logic Proved by Semantic Methods
DOI10.1093/LOGCOM/4.6.929zbMATH Open0814.03006OpenAlexW1970417212MaRDI QIDQ4323009FDOQ4323009
Authors: Arnon Avron 
Publication date: 13 February 1995
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/39d8e2176f04f069ffc940d609668ac59fcc3d11
Recommendations
- The semantics and proof theory of linear logic
- Some semantical aspects of linear logic
- scientific article; zbMATH DE number 1292302
- The logic of linear propositions
- scientific article; zbMATH DE number 786485
- Some Syntactical Observations on Linear Logic
- Proofs as computations in linear logic
- On the linear Lindenbaum algebra of Basic Propositional Logic
- scientific article; zbMATH DE number 2152687
- On linear Brouwerian logics
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)
Cited In (16)
- Untyping typed algebras and colouring cyclic linear logic
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions
- The Scott model of linear logic is the extensional collapse of its relational model
- Variations on a theme of Curry
- Infinitary affine proofs
- Title not available (Why is that?)
- \(\bigstar\)-autonomous lattices
- Constant-only multiplicative linear logic is NP-complete
- Some Syntactical Observations on Linear Logic
- Axioms and models of linear logic
- Some covering properties in semantic method of continuous valued logic
- A simplified semantics for a fragment of intuitionistic linear logic
- Localisation and interaction in one dimension
- Proof-search in type-theoretic languages: An introduction
- Linear lambda-calculus is linear
- Obsessional experiments for linear logic proof-nets
This page was built for publication: Some Properties of Linear Logic Proved by Semantic Methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323009)
