Switch to: Citations

References in:

A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic

J. Michael Dunn

Studia Logica 38 (2):149 - 169 (1979)

Add references

You must login to add references.

Choice and descriptions in enriched intensional languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.details Logic and Philosophy of Logic Modal and Intensional Logic in Logic and Philosophy of Logic Semantics in Philosophy of Language Direct download (4 more) Export citation Bookmark 8 citations
Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.details Relevance Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 26 citations
New axiomatics for relevant logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.details Relevance Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 17 citations
On the axiom of extensionality – Part I.R. O. Gandy - 1956 - Journal of Symbolic Logic 21 (1):36-48.details Axioms of Set Theory in Philosophy of Mathematics Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 8 citations
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details Logical Consequence and Entailment in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 229 citations

1