Preasumptiones iuris tantum w ujęciu logicznym
Preasumptiones iuris tantum in logical terms

Summary/Abstract: This article studies the formal models of rebuttable presumption built using a conceptual apparatus of a monotone logic. The paper presents its own project model using a strict implication in conjunction with the notation of a first-order predicate logic and a sentence logic. The presumption is modeled as a normative criterion for the Court to determine the validity of an unacknowledged descriptive sentence. Moreover other selected formal models of rebuttable presumption are discussed.

• Details
• Contents