Ilmar Tarnmelos und Helmut Schreiners «Protologischer Kalkül»
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.
Loggen Sie sich bitte ein, um den ganzen Text zu lesen.
There are no comments yet
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.
No comments