Switch to: Citations

References in:

The Semantics of Entailment Omega

Yoko Motohama, Robert K. Meyer & Mariangiola Dezani-Ciancaglini

Notre Dame Journal of Formal Logic 43 (3):129-145 (2002)

Add references

You must login to add references.

The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.details Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Relevance Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 87 citations
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details Modal Logic in Logic and Philosophy of Logic Semantics for Modal Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 264 citations
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 8 citations
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 9 citations
Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 16 citations
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details Intuitionistic Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (6 more) Export citation Bookmark 32 citations
A Filter lambda model and the completeness of type assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.details Logics, Misc in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 24 citations
Algebraic analysis of entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15 (59/60):407-428.details Areas of Mathematics in Philosophy of Mathematics Export citation Bookmark 38 citations

1