- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Non-commutative intuitionistic linear logic
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):297-318 (1990)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Non‐commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (4):297-318.
Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
Quantized linear logic, involutive quantales and strong negation.Norihiro Kamide - 2004 - Studia Logica 77 (3):355-384.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics.Misao Nagayama & Mitsuhiro Okada - 2001 - Journal of Symbolic Logic 66 (4):1524-1542.
Pretopology semantics for bimodal intuitionistic linear logic.C. Hartonas - 1997 - Logic Journal of the IGPL 5 (1):65-78.
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (1):11-15.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
Reflections on “difficult” embeddings.Andreja Prijatelj - 1995 - Journal of Philosophical Logic 24 (1):71 - 84.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Analytics
Added to PP
2016-02-04
Downloads
38 (#410,745)
6 months
1 (#1,516,429)
2016-02-04
Downloads
38 (#410,745)
6 months
1 (#1,516,429)
Historical graph of downloads
Citations of this work
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic.V. Michele Abrusci - 1991 - Journal of Symbolic Logic 56 (4):1403-1451.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Towards a Semantic Characterization of Cut-Elimination.Agata Ciabattoni & Kazushige Terui - 2006 - Studia Logica 82 (1):95-119.
Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson - 2015 - Logica Universalis 9 (1):47-92.
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.Bob Coecke, David J. Moore & Sonja Smets - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 527--555.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo