Michael A. McRobbie
2 artykuły w 1 czasopismach
-
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" }
-
Proof tableau formulations of some first-order relevant ortho-logics Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4 / s. 233 - 2391984CZYSTY TEKST
Nuel D. Belnap, Michael A. McRobbie, Proof tableau formulations of some first-order relevant ortho-logics, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 233 - 239
BIBTEX@Article{ authors = " Nuel D. Belnap, Michael A. McRobbie", title = "Proof tableau formulations of some first-order relevant ortho-logics", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "233 - 239" }