Kripke Models for Linear Logic

&
Journal of Symbolic Logic 58 (2):514-545 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275217

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Review: J. Michael Dunn, Relevance Logic and Entailment. [REVIEW]Harry Deutsch - 1992 - Journal of Symbolic Logic 57 (2):752-753.
Review: J. Michael Dunn, A Truth Value Semantics for Modal Logic. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):314-314.
In memoriam: J. Michael Dunn, 1941–2021.Katalin Bimbó - 2021 - Bulletin of Symbolic Logic 27 (4):519-525.
Review: J. Michael Dunn, Relevant Predication 1: The Formal Theory. [REVIEW]Alasdair Urquhart - 1989 - Journal of Symbolic Logic 54 (2):615-616.
Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521-522.
J. Michael Dunn. Relevant predication I: the formal theory, Journal of philosophical logic, vol. 16 , pp. 347–381.Alasdair Urquhart - 1989 - Journal of Symbolic Logic 54 (2):615-616.
Review: J. Michael Dunn, Anil Gupta, Truth or Consequences, Essays in Honor of Nuel Belnap. [REVIEW]Gerhard Schurz - 1996 - Journal of Symbolic Logic 61 (2):691-693.
Alan Ross Anderson, Nuel D. BelnapJr., and J. Michael Dunn. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford1992, xxvii + 749 pp. [REVIEW]Larisa Maksimova - 1996 - Journal of Symbolic Logic 61 (1):338-341.
Logical reasoning with diagrams, Gerard Allwein and Jon Barwise, eds.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (3):387-390.

Analytics

Added to PP
2014-04-04

Downloads
16 (#903,180)

6 months
3 (#1,206,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
What Is an Inconsistent Truth Table?Zach Weber, Guillermo Badia & Patrick Girard - 2016 - Australasian Journal of Philosophy 94 (3):533-548.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references