Robert K. Meyer
8 artykuły w 1 czasopismach
-
Current research in relevant logic Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 31977CZYSTY TEKST
Robert K. Meyer, Current research in relevant logic, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 3, s.
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Current research in relevant logic", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 3", pages = "" }
-
R+ is contained in T+ Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 1 / s. 30 - 321980CZYSTY TEKST
Steve Giambrone, Robert K. Meyer, R+ is contained in T+, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 1, s. 30 - 32
BIBTEX@Article{ authors = " Steve Giambrone, Robert K. Meyer", title = "R+ is contained in T+", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 1", pages = "30 - 32" }
-
Sentential constants in relevant implication Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 1 / s. 33 - 381980CZYSTY TEKST
Robert K. Meyer, Sentential constants in relevant implication, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 1, s. 33 - 38
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Sentential constants in relevant implication", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 1", pages = "33 - 38" }
-
Rationalizing relevant primitives, of course! Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 76 - 791995CZYSTY TEKST
Robert K. Meyer, Rationalizing relevant primitives, of course!, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 76 - 79
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Rationalizing relevant primitives, of course!", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "76 - 79" }
-
Peirced Clean Through Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 100 - 1011990CZYSTY TEKST
Robert K. Meyer, Peirced Clean Through, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 100 - 101
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Peirced Clean Through", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "100 - 101" }
-
Relevant arithmetic Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / s. 133 - 1351976CZYSTY TEKST
Robert K. Meyer, Relevant arithmetic, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 133 - 135
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Relevant arithmetic", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "133 - 135" }
-
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / s. 138 - 1421976CZYSTY TEKST
Robert K. Meyer, Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 138 - 142
BIBTEX@Article{ authors = " Robert K. Meyer", title = "Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "138 - 142" }
-
A mechanized decision procedure for non-classical logics: The program KRIPKE Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 189 - 1921980CZYSTY TEKST
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite, A mechanized decision procedure for non-classical logics: The program KRIPKE, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 189 - 192
BIBTEX@Article{ authors = " Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite", title = "A mechanized decision procedure for non-classical logics: The program KRIPKE", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "189 - 192" }
