Jusletter IT

Ilmar Tarnmelos und Helmut Schreiners «Protologischer Kalkül»

  • Autor/Autorin: Günther Kreuzbauer
  • Kategorie: Beiträge
  • Region: Österreich
  • Rechtsgebiete: Rechtsinformatik
  • Zitiervorschlag: Günther Kreuzbauer, Ilmar Tarnmelos und Helmut Schreiners «Protologischer Kalkül», in: Jusletter IT 21. Februar 2002
In diesem Beitrag wird der von Ilmar Tammelo und Helmut Schreiner entworfene protologische Kalkül dargestellt. Dabei handelt es sich um ein rechtslogisches System, das Mitte der Siebzigerjahre des letzten Jahrhunderts insbesondere auch in Hinblick auf seine Verwendung in der Rechtsinformatik entwickelt wurde. Es beinhaltet folgende Teile: Aussagenkalkül, Prädikationenkalkül, intensionaler Kalkül, extensionaler Kalkül und Imperativenkalkül.

0 Kommentare

Es gibt noch keine Kommentare

Ihr Kommentar zu diesem Beitrag

AbonnentInnen dieser Zeitschrift können sich an der Diskussion beteiligen. Bitte loggen Sie sich ein, um Kommentare verfassen zu können.