Robert K. Meyer (meyer-rk)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bunder, Martin W. and Meyer, Robert K. 1985. “A Result for Combinators, BCK Logics and BCK Algebras.” Logique et Analyse 28(109): 33–40.
Dunn, Michael J. and Meyer, Robert K. 1989. “Gentzen’s Cut and Ackermann’s Gamma.” in Directions in Relevant Logic, edited by Jean Norman and Richard Sylvan, pp. 229–240. Reason and Argument n. 1. Dordrecht: Kluwer Academic Publishers.
Leblanc, Hugues and Meyer, Robert K. 1970. “Truth-Value Semantics for the Theory of Types.” in Philosophical Problems in Logic: Some Recent Developments, edited by Karel Lambert, pp. 77–101. Synthese Library n. 29. Dordrecht: D. Reidel Publishing Co.
Mares, Edwin D. and Meyer, Robert K. 1993. “The Semantics of R3.” The Journal of Philosophical Logic 22(1): 95–110.
Mares, Edwin D. and Meyer, Robert K. 2001. “Relevant Logics.” in The Blackwell Guide to Philosophical Logic, edited by Lou F. Goble, pp. 280–308. Blackwell Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
Meyer, Robert K. 1968a. “An Undecidability Result in the Theory of Relevant Implication.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 14: 255–262.
Meyer, Robert K. 1968b. “Entailment and Relevant Implication.” Logique et Analyse 11(44): 472–479.
Meyer, Robert K. 1971. “On Coherence in Modal Logics.” Logique et Analyse 14(55): 658–668.
Meyer, Robert K. 1973. “Intuitionism, Entailment, Negation.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 168–198. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Meyer, Robert K. 1974a. “New Axiomatics for Relevant Logics, I.” The Journal of Philosophical Logic 3(1–2): 53–86.
Meyer, Robert K. 1974b. “Entailment in Not Strict Implication.” Australasian Journal of Philosophy 52(3): 212–231.
Meyer, Robert K. 1976. “Negation Disarmed.” Notre Dame Journal of Formal Logic 17: 184–190.
Meyer, Robert K. 1981. “Almost Skolem Forms for Relevant (and Other) Logics.” Logique et Analyse 24(95–96): 277–289.
Meyer, Robert K. 1985. “A Farewell to Entailment.” in Foundations of Logic and Linguistics. Problems and Their Solutions, edited by Georg J. W. Dorn and Paul Weingartner, pp. 577–638. Berlin: Springer.
Meyer, Robert K. 1987b. “Curry’s Philosophy of Formal Systems.” Australasian Journal of Philosophy 65(2): 156–171.
Meyer, Robert K. 1998a. “\(\subset\)E is Admissible in ‘True’ Relevant Arithmetic.” The Journal of Philosophical Logic 27(4): 327–351.
Meyer, Robert K. 1998b. “In Memoriam: Richard (Routley) Sylvan, 1935-1996.” The Bulletin of Symbolic Logic 4: 338–340.
Meyer, Robert K. 2001. “Improved Decision Procedures for Pure Relevant Logic.” in Logic, Meaning and Computation: Essays in Memory of Alonzo Church, edited by Curtis Anthony Anderson and Michael Zelëny, pp. 191–218. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.
Meyer, Robert K. 2007. “Review of Wos and Pieper (1999).” The Bulletin of Symbolic Logic 13(3): 359–361.
Meyer, Robert K., Bencivenga, Ermanno and Lambert, Karel. 1982. “The Eliminability of E! in Free Quantification Theory without Identity.” The Journal of Philosophical Logic 11(2): 229–231.
Meyer, Robert K. and Dunn, Michael J. 1969. “E, R and \(\gamma\).” The Journal of Symbolic Logic 34: 460–474.
Meyer, Robert K., Dunn, Michael J. and Leblanc, Hugues. 1974. “Completeness of Relevant Quantification Theories.” Notre Dame Journal of Formal Logic 15(1): 97–121.
Meyer, Robert K. and Giambrone, Steve. 1981. “Strict Implication in T.” Logique et Analyse 24(94): 267–269.
Meyer, Robert K. and Mares, Edwin D. 1993. “The Semantics of Entailment 0.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 239–258. Oxford Science Publications. Oxford: Oxford University Press.
Meyer, Robert K. and Martin, Errol P. 1989. “Logic on the Australian Plan.” The Journal of Philosophical Logic 18(3): 305–332.
Meyer, Robert K. and Martin, Errol P. 1992. “On Establishing the Converse.” Logique et Analyse 35(139–140): 207–222.
Meyer, Robert K. and Restall, Greg. 1999. “‘Strenge’ Arithmetics.” Logique et Analyse 42(167–168): 205–220.
Meyer, Robert K. and Sylvan, Richard. 1972. “Algebraic Analysis of Entailment I.” Logique et Analyse 15(59–60): 407–428. Published under the name “Richard Routley” .
Meyer, Robert K. and Sylvan, Richard. 1974. “\(E\) is a Conservative Extension of \(E{\-I}\).” Philosophia: Philosophical Quarterly of Israel 4(2–3): 223–249. Published under the name “Richard Routley” .
Meyer, Robert K., Sylvan, Richard and Dunn, Michael J. 1979. “Curry’s Paradox.” Analysis 39(3): 124–128. Published under the name “Richard Routley” .
Slaney, John K., Meyer, Robert K. and Restall, Greg. 1996. “Linear Arithmetic Desected.” Logique et Analyse 39(155–156): 379–387.
Sylvan, Richard and Meyer, Robert K. 1972a. “The Semantics of Entailment II.” The Journal of Philosophical Logic 1(1): 53–73. Published under the name “Richard Routley” .
Sylvan, Richard and Meyer, Robert K. 1972b. “The Semantics of Entailment III.” The Journal of Philosophical Logic 1(2): 192–208. Published under the name “Richard Routley” .
Sylvan, Richard and Meyer, Robert K. 1973. “The Semantics of Entailment.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 199–243. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co. Published under the name “Richard Routley” .
Sylvan, Richard and Meyer, Robert K. 1976. “Every Sentential Logic has a Two-Valued Worlds Semantics.” Logique et Analyse 19(74–76): 345–365. Published under the name “Richard Routley” .
Sylvan, Richard, Meyer, Robert K. and Goddard, Leonard. 1974. “Choice and Descripton in Enriched Intensional Languages – I.” The Journal of Philosophical Logic 3(3): 291–316. Published under the name “Richard Routley” .