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 - 192

  ROK: 1980

  Michael A. McRobbie Robert K. Meyer Paul B. Thistlewaite

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat
• 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 - 239

  ROK: 1984

  Nuel D. Belnap Michael A. McRobbie

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat