Dieser Beitrag aus dem Tagungsband des Internationalen Rechtsinformatik Symposiums 2002 steht Ihnen hier zum Download zur Verfügung.
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.
