Article PDF
Avoid common mistakes on your manuscript.
References
A. R. Anderson andN. D. Belnap Jr.,Entailment, Princeton, 1975.
J. M. Dunn,A Kripke-style semantics for R-mingle using a binary accessibility relation, forthcoming inStudia Logica.
J. M. Dunn andR. K. Meyer,Algebraic completeness results for Dummett's LC and its extensions,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 17 (1971), pp. 225–230.
D. M. Gabbay,On 2nd order intuitionistic propositional calculus with full comprehension,Archiv für Mathematische Logik und Grundlagenforschung, 16 (1975), pp. 177–186.
R. K. Meyer,Intuitionism, entailment, negation,Truth, Syntax, and Modality. ed. H. Leblanc, Amsterdam, 1973, pp. 168–198.
R. K. Meyer, J. M. Dunn, andH. Leblanc,Completeness of relevant quantification theories,Notre Dame Journal of Formal Logic, 15 (1974), pp. 97–121.
R. Routley andR. K. Meyer,The semantics of entailment (I),Truth, Syntax, and Modality, ed. H. Leblanc, Amsterdam, 1973, pp. 199–243.
Author information
Authors and Affiliations
Additional information
Allatum est die 4 Februarii 1976
Rights and permissions
About this article
Cite this article
Dunn, J.M. Quantification and RM. Stud Logica 35, 315–322 (1976). https://doi.org/10.1007/BF02282493
Issue Date:
DOI: https://doi.org/10.1007/BF02282493